## 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 1996Proceedings -- Parallel Computing. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

11001230 Chaired by Zhong Shao Yale University | 42 |

14001600 Chaired by Edward Wimmers IBM Almaden Research | 79 |

16301800 Chaired by Benjamin Zorn University of Colorado | 119 |

11001230 Chaired by Preston Briggs Tera Computer Company | 208 |

14001600 Chaired by Philip Wadler University of Glasgow | 242 |

16301800 Chaired by Steven Lucco Carnegie Mellon University | 295 |

### Common terms and phrases

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