1368 search results - page 25 / 274 » Recursive modules for programming |
152
Voted
LICS
2000
IEEE
15 years 9 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...
132
click to vote
DATE
2010
IEEE
15 years 11 months 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...
150
click to vote
PLDI
1998
ACM
15 years 10 months 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...
130
Voted
CTCS
1989
Springer
15 years 10 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...
114
Voted
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
