8 search results - page 2 / 2 » On Typability for Rank-2 Intersection Types with Polymorphic... |
152
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
120
click to vote
POPL
2010
ACM
16 years 8 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
120
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...