Conferences in DBLP
Gerald J. Sussman , Matthew Halfant Tutorial: Abstraction in Numerical Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Roylance Expressing Mathematical Subroutines Constructively. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Vuillemin Exact Real Computer Arithmetic with Continued Fractions. [Citation Graph (0, 0)][DBLP ] Conf ] Pete Tinker , Morry Katz Parallel Execution of Sequential Scheme with ParaTran. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Goldberg Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Felleisen , Mitchell Wand , Daniel P. Friedman , Bruce F. Duba Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer , Jon G. Riecke Continuations May be Unreasonable. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Felleisen lambda-V-CS: An Extended lambda-Calculus for Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bawden , Jonathan Rees Syntactic Closures. [Citation Graph (0, 0)][DBLP ] Conf ] Annika Aasa , Kent Petersson , Dan Synek Concrete Syntax for Data Objects in Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] R. Kent Dybvig , Robert Hieb A Variable-Arity Procedural Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Berlin , Henry Wu Scheme86: A System for Interpreting Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] William D. Clinger , Anne Hartheimer , Eric Ost Implementation Strategies for Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Swanson , Robert R. Kessler , Gary Lindstrom An Implementation of Portable Standard LISP on the BBN Butterfly. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Goldman , Richard P. Gabriel Preliminary Results with the Initial Implementation of Qlisp. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Partial Polymorphic Type Inference and Higher-Order Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Martini Bounded Quantifiers Have Interval Models. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori , Peter Buneman Type Inference in a Database Programming Language. [Citation Graph (5, 0)][DBLP ] Conf ] Fritz Henglein Type Inference and Semi-Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Lalita Jategaonkar , John C. Mitchell ML with Extended Pattern Matching and Subtypes. [Citation Graph (4, 0)][DBLP ] Conf ] David B. MacQueen An Implementation of Standard ML Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Hudak , Eric Mohr Graphinators and the Duality of SIMD and MIMD. [Citation Graph (0, 0)][DBLP ] Conf ] A. C. Norman Faster Combinator Reduction Using stock Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey L. Burn , Simon L. Peyton Jones , J. D. Robson The Spineless G-Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Kourosh Gharachorloo , Vivek Sarkar , John L. Hennessy A Simple and Efficient Implmentation Approach for Single Assignment Languages. [Citation Graph (0, 0)][DBLP ] Conf ] William Pugh An Improved Replacement Strategy for Function Aaching. [Citation Graph (0, 0)][DBLP ] Conf ] Norman Adams , Jonathan Rees Object-Oriented Programming in Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy Objects as Closures: Abstract Semantics of Object-Oriented Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Christian Queinnec , Pierre Cointe An Open-Ended Data Representation Model for EU_LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel G. Bobrow , Gregor Kiczales The Common Lisp Object System Metaobject Kernel: A Status Report. [Citation Graph (0, 0)][DBLP ] Conf ] John Lamping A Unified System of Parameterization for Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy , Karoline Malmkjær Intensions and Extensions in a Reflective Tower. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bawden Reification without Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] 