Conferences in DBLP
Andrew P. Tolmach , Andrew W. Appel Debugging Standard ML Without Reverse Engineering. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:1-12 [Conf ] Pavel Curtis , James Rauen A Module System for Scheme. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:13-19 [Conf ] Mark A. Sheldon , David K. Gifford Static Dependent Types for First Class Modules. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:20-29 [Conf ] Luca Cardelli , Giuseppe Longo A Semantic Basis for Quest. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:30-43 [Conf ] Val Tannen , Carl A. Gunter , Andre Scedrov Computing with Coercions. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:44-60 [Conf ] Philip Wadler Comprehending Monads. [Citation Graph (8, 0)][DBLP ] LISP and Functional Programming, 1990, pp:61-78 [Conf ] Douglas Johnson Trap Architectures for Lisp Systems. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:79-86 [Conf ] Benjamin G. Zorn Comparing Mark-and-Sweep and Stop-and-Copy Garbage Collection. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1990, pp:87-98 [Conf ] Gregor Kiczales , Luis Rodriguez Efficient Method Dispatch in PCL. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:99-105 [Conf ] Chris Hanson Efficient Stack Allocation for Tail-Recursive Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:106-118 [Conf ] Marc Feeley , James S. Miller A Parallel Virtual Machine for Efficient Scheme Compilation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:119-130 [Conf ] Clifford Walinsky , Deb Banerjee A Functional Programming Language Compiler for Massively Parallel Computers. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:131-138 [Conf ] Andrew Berlin Partial Evaluation Applied to Numerical Computation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:139-150 [Conf ] Olivier Danvy , Andrzej Filinski Abstracting Control. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:151-160 [Conf ] Dorai Sitaram , Matthias Felleisen Reasoning with Continuations II: Full Abstraction for Models of Control. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:161-175 [Conf ] Morry Katz , Daniel Weise Continuing into the Future: On the Interaction of Futures and First-Class Continuations. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:176-184 [Conf ] Eric Mohr , David A. Kranz , Robert H. Halstead Jr. Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:185-197 [Conf ] Randy B. Osborne Speculative Computation in Multilisp. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:198-208 [Conf ] J.-F. Giorgi , Daniel Le Métayer Continuation-Based Parallel Implementation of Functional Programming Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:209-217 [Conf ] Henry G. Baker Unify and Conquer. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:218-226 [Conf ] Geoffrey L. Burn Using Projection Analysis of Evaluation-Order and Its Application. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:227-240 [Conf ] M. Draghicescu , S. Purushothaman A Compositional Analysis of Evaluation-Order and Its Application. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:242-250 [Conf ] Hanne Riis Nielson , Flemming Nielson Context Information for Lazy Code Generation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:251-263 [Conf ] Charles Consel Binding Time Analysis for High Order Untyped Functional Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:264-272 [Conf ] Laurence Puel , Ascánder Suárez Compiling Pattern Matching by Term Decomposition. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:273-281 [Conf ] Carsten K. Gomard Partial Type Inference for Untyped Functional Programs. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:282-287 [Conf ] Daniel Leivant Discrete Polymorphism. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:288-297 [Conf ] Brian T. Howard , John C. Mitchell Operational and Axiomatic Semantics of PCF. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:298-306 [Conf ] John Field , Tim Teitelbaum Incremental Reduction in the lambda Calculus. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:307-322 [Conf ] John Hannan , Dale Miller From Operational Semantics to Abstract Machines: Preliminary Results. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:323-332 [Conf ] Pierre Crégut An Abstract Machine for Lambda-Terms Normalization. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:333-340 [Conf ] Gopalan Nadathur , Debra Sue Wilson A Representation of Lambda Terms Suitable for Operations on Their Intensions. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:341-348 [Conf ]