283 search results - page 44 / 57 » Functional Pearls: Probabilistic functional programming in H... |
121
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
110
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
120
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
PPDP
2010
Springer
14 years 12 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...