2932 search results - page 59 / 587 » Higher order mining |
173
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
206
click to vote
TYPES
2000
Springer
15 years 10 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...
156
click to vote
DBPL
1995
Springer
15 years 10 months ago
1995
Springer
We describe the Tycoon approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...
