3713 search results - page 286 / 743 » Constructing a Calculus of Programs |
118
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
128
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
113
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
135
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
130
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...