1368 search results - page 25 / 274 » Recursive modules for programming |
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
DATE
2010
IEEE
14 years 27 days ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
PLDI
1998
ACM
14 years 1 days ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
CTCS
1989
Springer
13 years 12 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
