1185 search results - page 93 / 237 » Implementing Functional Languages: a tutorial |
111
click to vote
ESOP
1994
Springer
15 years 1 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
HICSS
1997
IEEE
15 years 2 months ago
1997
IEEE
World Wide Web (WWW) authors must cope in a hypermedia environment analogous to secondgeneration computing languages, building and managing all hypermedia links using simple ancho...
GCSE
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
167
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
SIGADA
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...