894 search results - page 59 / 179 » Typed Contracts for Functional Programming |
184
click to vote
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
101
click to vote
ACL
2004
15 years 3 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
123
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
136
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
114
click to vote
COCOON
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...