Publications

Liquid Intersection Types

Title

Liquid Intersection TypesExport publication in the APA format Export publication in the EXCEL format Export publication in the RIS format

Type

Article in International Conference Proceedings Book

Date

2015

Title

Liquid Intersection Types

Type

Article in International Conference Proceedings Book

Year

2015

Authors

MÃ¡rio Pereira

(Author)

Other

The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID

Sandra Alves

(Author)

FCUP

View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page

Florido, M

(Author)

FCUP

View Personal Page Send message Search for Participant Publications View Authenticus page View ORCID page

Conference proceedings International

Title: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. Search for Conference Proceedings Publications

Pages: 24-42

Indexing

ISI Web of Knowledge - 2 Citations

Other information

Authenticus ID: P-00A-9RM

DOI: 10.4204/EPTCS.177.3

Language: English

Type (Professor's evaluation): Scientific

Documents

We could not find any documents associated to the publication.

Recommend this page Top

Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto I Terms and Conditions I Acessibility I Index A-Z
Page created on: 2025-07-12 at 18:27:37 | Privacy Policy | Personal Data Protection Policy | Whistleblowing