Conferences in DBLP
Simon J. Thompson Laws in Miranda. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Clément , Joëlle Despeyroux , Th. Despeyroux , Gilles Kahn A Simple Applicative Language: Mini-ML. [Citation Graph (0, 0)][DBLP ] Conf ] David K. Gifford , John M. Lucassen Integrating Functional and Imperative Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Cyril N. Alberga , Chris Bosman-Clark , Martin Mikelsons , Mary S. Van Deusen , Julian A. Padget Experience with an Uncommon LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Julian A. Padget Desiderata for the Standardization of LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney A. Brooks , David B. Posner , James L. McDonald , Jon L. White , Eric Benson , Richard P. Gabriel Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp. [Citation Graph (0, 0)][DBLP ] Conf ] David H. Bartley , John C. Jensen The Implementation of PC Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Fairbairn , Stuart Wray Code Generation Techniques for Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Knight An Architecture for Mostly Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Lemaître , Michel Castan , M.-H. Durand , Guy Durrieu , Bernard Lecussan Mechanisms for Efficient Multiprocessor Combinator Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] John D. Ramsdell The CURRY Chip. [Citation Graph (0, 0)][DBLP ] Conf ] Adrienne Bloss , Paul Hudak Variations on Strictness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] R. Kent Dybvig , Daniel P. Friedman , Christopher T. Haynes Expansion-Passing Style: Beyond Conventional Macros. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene E. Kohlbecker , Daniel P. Friedman , Matthias Felleisen , Bruce F. Duba Hygienic Macro Expansion. [Citation Graph (1, 0)][DBLP ] Conf ] Hans-Juergen Boehm , Robert Cartwright , Mark Riggle , Michael J. O'Donnell Exact Real Arithmetic: A Case Study in Higher Order Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jon L. White Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Steenkiste , John L. Hennessy LISP on a Reduced-Instruction-Set-Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Vivek Sarkar , John L. Hennessy Partitioning Parallel Programs for Macro-Dataflow. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Scheevel NORMA: A Graph Reduction Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Chris D. Clack , Simon L. Peyton Jones The Four-Stroke Reduction Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Lee , Uwe F. Pleban On the Use of LISP in Implementing Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Hanne Riis Nielson , Flemming Nielson Semantics Directed Compiling for Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bawden Connection Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Mauny , Ascánder Suárez Implementing Functional Languages in the Categorical Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Guy L. Steele Jr. , W. Daniel Hillis Connection Machine LISP: Fine-Grained Parallel Symbolic Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand , Daniel P. Friedman The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Bharat Jayaraman , Frank S. K. Silbermann Equations, Sets, and Reduction Semantics for Functional and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Satish R. Thatte Towards a Semantic Theory for Equational Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Werner Lermen , Dieter Maurer A Protocol for Distributed Reference Counting. [Citation Graph (1, 0)][DBLP ] Conf ] Paul Hudak A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Rudalics Distributed Copying Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] 