199 search results - page 19 / 40 » Combining Strict and Soft Typing in Functional Programming |
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
117
click to vote
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
196
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
117
click to vote
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...