5415 search results - page 220 / 1083 » The Implementation of Functional Programming Languages |
CORR
2000
Springer
15 years 1 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
104
click to vote
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
108
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
101
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
119
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...