5415 search results - page 219 / 1083 » The Implementation of Functional Programming Languages |
114
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
138
Voted
LPAR
1992
Springer
15 years 6 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
138
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
130
Voted
ISAAC
2010
Springer
15 years 16 days ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
99
Voted
PLILP
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...