Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : Papers Presented at the Symposium, St. Petersburg Beach, Florida, 21-24 January 1996
Proceedings -- Parallel Computing.
What people are saying - Write a review
We haven't found any reviews in the usual places.
11001230 Chaired by Zhong Shao Yale University
14001600 Chaired by Edward Wimmers IBM Almaden Research
16301800 Chaired by Benjamin Zorn University of Colorado
11001230 Chaired by Preston Briggs Tera Computer Company
14001600 Chaired by Philip Wadler University of Glasgow
16301800 Chaired by Steven Lucco Carnegie Mellon University
A-calculus abstract algorithm analysis application argument assignment bisimulation bool calculus catamorphism clauses closure compiler complexity Computer Science Concurrent Haskell constraints constructor context cspec data structures datatype defined definition described destructive updating dynamic encoding equivalent example expression Figure filter finite given gram graph Haskell implementation input interprocedural join-calculus lambda lambda calculus Lemma letrec linear Lisp locations loop machine manifest types method module node O-predicates object operational semantics optimization output pair partial evaluation pi-calculus pointer polymorphic preference logic program preference model principal typings Principles of Programming problem procedure Programming Languages proof recursive reduction register allocation relation relaxation goals represent result Section sequence shape shape-graphs shape-node solution specific Standard ML static subtyping term Theorem tion transformation translation tree type environment type inference type schemes type system type variables typing rules