Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997Pearson Education, 1997 - 323 頁 |
內容
Strongly typed flowdirected representation transformations | 11 |
Typedriven defunctionalization | 25 |
Systematic realisation of control flow analyses for CML | 38 |
200330pm Chaired by Colin Runciman University of York | 52 |
Statically checkable pattern abstractions | 75 |
415545pm Chaired by Marc Feeley University of Montreal | 85 |
The effectiveness of flow analysis for inlining | 99 |
A higherorder approach to crossmodule optimizations | 112 |
130300pm Chaired by Amr Sabry University of Oregon | 239 |
345515pm Chaired by Andrew Appel Princeton University | 274 |
The measured cost of copying garbage collection mechanisms | 292 |
A GUI on top of a functional language | 308 |
Modelling string folding with G2L grammars | 314 |
常見字詞
abstract value algorithm applied argument array behavior bindings bisimulation bound boxed cache closure coercions collector compiler Computer Science constructor context data structures data types datatype defined definition dynamic encoding Erlang example expression Figure file descriptor flow analysis free variables Fudget func functional languages Functional Programming functor garbage gfold graph Haskell heaps higher-order implementation inlining input label lambda lambda abstraction lambda calculus lazy evaluation loop matching memoization mlet monad Mutable MutVar newVar object operational semantics operations optimal p-deques parameters partial evaluation pattern performance pointer polymorphic polyvariant primitive problem Programming Languages proof readVar recursive calls reduction references representation residual result rules run-time SBA-safety scsh Section semantics sharing nodes SIGPLAN specialisation Standard ML static subtyping syntactic T₁ techniques term Theorem tion transformation translation tuplable functions tupling type inference type system type variables widget
熱門章節
第 272 頁 - In Edwin E. Catmull, editor. Computer Graphics (SIGGRAPH '92 Proceedings), volume 26, pages 65-70, July 1992.