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