Paper Info
Title
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types.
Abstract
In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections.
Year
DOI
Venue
2019
10.1016/j.entcs.2019.07.003
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
Intersection types,Pre-grammars,Inhabitation
Rule-based machine translation,Computer science,Theoretical computer science
Journal
Volume
ISSN
Citations 
344
1571-0661
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Sandra Alves1388.47
Sabine Broda26413.83