4107 search results - page 17 / 822 » The Generalized Lambda Test |
211
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
132
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
124
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
119
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
119
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...