Search Results
Showing 1 - 1 results of 1 for search 'parametric polymorphism', query time: 0.06s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
2012 ACM Subject Classification Theory of computation → Lambda calculus
1
Dependent types
1
Refiner
1
Subtyping
1
Theory of computation → Proof theory Keywords and phrases Intersection types
1
Type checker
1
Union types
1
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
1
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
1
∆-Framework
1
see all ...