291 search results - page 16 / 59 » A Logic for Parametric Polymorphism |
108
Voted
APLAS
2010
ACM
15 years 1 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...
101
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
94
Voted
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
114
click to vote
JELIA
2010
Springer
15 years 4 days ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
137
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...