Liquid Intersection Types

Thumbnail Image
Files
P-00A-9RM.pdf (167.74 KB)
Date
2015
Authors
Pereira,M
Sandra Alves
Florido,M
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5218
 http://dx.doi.org/10.4204/EPTCS.177.3
Collections
CRACS - Indexed Articles in Conferences