Sciweavers

8 search results - page 1 / 2
» icfp 1997
Sort
View
ICFP
1997
ACM
14 years 3 months ago
Structuring Graphical Paradigms in TkGofer
Koen Claessen, Ton Vullinghs, Erik Meijer
ICFP
1997
ACM
14 years 3 months ago
The Development of Erlang
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
Joe L. Armstrong
ICFP
1997
ACM
14 years 3 months ago
A Practical Subtyping System For Erlang
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
Simon Marlow, Philip Wadler
ICFP
1997
ACM
14 years 3 months ago
A Modular, Polyvariant, and Type-Based Closure Analysis
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
Anindya Banerjee
ICFP
1997
ACM
14 years 3 months ago
Strongly Typed Flow-Directed Representation Transformations
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J...