291 search results - page 31 / 59 » A Logic for Parametric Polymorphism |
112
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
119
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
INAP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
127
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
118
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...