Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (ICFP '98): Baltimore, Maryland, USA, September 27-29, 1998Pearson Education, 1998 - 351 頁 |
內容
Contents | 1 |
HigherOrder Arity Raising | 27 |
15h1516h30 Chaired by Julia Lawall | 51 |
A Theory of Core Fudgets | 75 |
16h3017h | 93 |
Robert Bruce Findler | 94 |
Yet Another Lambda Evaluator Based on Interaction Nets | 117 |
Typed CrossModule Compilation | 141 |
Matthew Flatt | 228 |
Cayenne | 239 |
10h3012h15 Chaired by Erik Meijer | 251 |
Imperative Streams | 261 |
The UnderAppreciated Unfold | 273 |
Fold and Unfold for Program Semantics | 280 |
13h4515h Chaired by Robert Harper | 289 |
NEC NEC Research Institute | 300 |
The Spineless Tagless Gmachine naturally | 163 |
15h4517h30 Chaired by Andrew D Gordon | 174 |
ERICSSON | 184 |
Lazy Computation with Exact Real Numbers | 185 |
Functional Differentiation of Computer Programs | 195 |
A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects | 204 |
September 1998 | 214 |
Intensional Polymorphism in TypeErasure Semantics | 301 |
Implementing Typed Intermediate Languages | 313 |
A NonDeterministic CallbyNeed Lambda Calculus | 324 |
Posters | 336 |
A lazy CGI namespace in Scheme | 349 |
常見字詞
1-total A-calculus abstract machine algebraic analysis annotated applied argument arity raising binding bisimulation bound calculus circuit closure compiler component Computer Science constraint construct constructor context copies corresponding datatype declaration decrement message defined definition denotes derivatives distributed garbage effects encoding evaluation example expression extended Figure formal free variables Fudgets func functional language Functional Programming functor garbage collection global pointer guages Haskell higher-order implementation input interaction interface Java lambda abstraction lambda calculus lazy lazy evaluation Lemma linear logic mixins module monad node operational semantics optimal optimisations output polymorphic Programming Languages proof Queue recursive reduction reference relation result signature specification Standard ML STG machine strategy stream processor structure subtyping syntax term tion transformation transition translation tree type inference type scheme type system type-indexed typing rules unboxing update marker variable functions