4757 search results - page 381 / 952 » Monads for Functional Programming |
177
click to vote
DLS
2007
15 years 8 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
203
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
203
click to vote
JCSS
2002
15 years 6 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
173
click to vote
ML
2007
ACM
15 years 6 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
202
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...