3738 search results - page 296 / 748 » Parametrized Logic Programming |
135
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
132
click to vote
ECOOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
129
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
149
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
130
click to vote
CIE
2010
Springer
15 years 9 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...