894 search results - page 47 / 179 » Typed Contracts for Functional Programming |
141
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
105
Voted
ENTCS
2007
15 years 2 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
101
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
108
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
119
click to vote
IJCAI
1993
15 years 3 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...