BibSLEIGH — Proceedings of the 1984 ACM Conference on LISP and Functional Programming

Proceedings of the 1984 ACM Conference on LISP and Functional Programming
LFP, 1984.

no DBLP info
Scholar

@proceedings{LFP-1984,
	address       = "Austin, Texas, USA",
	title         = "{Proceedings of the 1984 ACM Conference on LISP and Functional Programming}",
	year          = 1984,
}

Contents (37 items)

LFP-1984-BrooksG #lisp: A Critique of Common Lisp (RAB, RPG), pp. 1–8.
LFP-1984-Halstead #implementation #lisp #multi: Implementation of Multilisp: Lisp on a Multiprocessor (RHHJ), pp. 9–17.
LFP-1984-HaynesF #abstraction #process: Engines Build Process Abstractions (CTH, DPF), pp. 18–24.
LFP-1984-GabrielM #lisp #multi: Queue-based Multi-processing Lisp (RPG, JM), pp. 25–44.
LFP-1984-Wadler #evaluation #garbage collection #lazy evaluation: Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time (PW), pp. 45–52.
LFP-1984-GoldbergP: Stream Processing (AG, RP), pp. 53–62.
LFP-1984-Bellegarde #sequence #term rewriting: Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.
LFP-1984-GivlerK #program transformation #recognition: Schema Recognition for Program Transformations (JSG, RBK), pp. 74–84.
LFP-1984-CointeR #composition #music #named #synthesis: Formes: an Object and Time Oriented System for Music Composition and Synthesis (PC, XR), pp. 85–95.
LFP-1984-Dannenberg #functional #named #realtime: Arctic: A Functional Language for Real-Time Control (RBD), pp. 96–103.
LFP-1984-Sheeran #design: muFP, A Language for VLSI Design (MS), pp. 104–112.
LFP-1984-ChaillouxDH #lisp #performance: LE LISP, a Portable and Efficient LISP System (JC, MD, JMH), pp. 113–122.
LFP-1984-StefanPBB #lisp #named: DIALISP — A Lisp Machine (GS, AP, VB, AB), pp. 123–128.
LFP-1984-BatesDF #lisp: Recent Developments in ISI-Interlisp (RLB, DD, MF), pp. 129–139.
LFP-1984-OkunoTOHW #lisp #named: TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS (HGO, IT, NO, YH, KW), pp. 140–149.
LFP-1984-WholeyF #design #lisp #set: The Design of an Instruction Set for Common Lisp (SW, SEF), pp. 150–158.
LFP-1984-StoyeCN #agile #combinator #reduction: Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.
LFP-1984-HudakG #combinator #reduction: Experiments in Diffused Combinator Reduction (PH, BG), pp. 167–176.
LFP-1984-Griswold #evaluation #programming language: Expression Evaluation in the ICON Programming Language (REG), pp. 177–183.
LFP-1984-Milner #ml #standard: A Proposal for Standard ML (RM), pp. 184–197.
LFP-1984-MacQueen #ml #standard: Modules for Standard ML (DBM), pp. 198–207.
LFP-1984-Cardelli #compilation #functional: Compiling a Functional Language (LC), pp. 208–217.
LFP-1984-Augustsson #compilation #lazy evaluation #ml: A Compiler for Lazy ML (LA), pp. 218–227.
LFP-1984-Saint-James #performance #recursion: Recursion is More Efficient than Iteration (ESJ), pp. 228–234.
LFP-1984-Moon #garbage collection #lisp #scalability: Garbage Collection in a Large Lisp System (DAM), pp. 235–246.
LFP-1984-Lieberman #debugging #lisp #tool support #towards: Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.
LFP-1984-Brooks #garbage collection #hardware #realtime: Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware (RAB), pp. 256–262.
LFP-1984-Katayama #approach #functional #programming language #type checking #type inference: Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
LFP-1984-Pettorossi #performance #source code: A Powerful Strategy for Deriving Efficient Programs by Transformation (AP), pp. 273–281.
LFP-1984-DoschM #infinity #lazy evaluation: Busy and Lazy FP with Infinite Objects (WD, BM), pp. 282–292.
LFP-1984-HaynesFW #continuation: Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.
LFP-1984-Stoyan #lisp: Early LISP History (1956-1959) (HS), pp. 299–310.
LFP-1984-Smolka #data flow #logic programming #source code: Making Control and Data Flow in Logic Programs Explicit (GS), pp. 311–322.
LFP-1984-MalachiMW #named #programming language: TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.
LFP-1984-RivieresS #implementation: The Implementation of Procedurally Reflective Languages (JdR, BCS), pp. 331–347.
LFP-1984-FriedmanW #named: Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.
LFP-1984-Clinger #compilation #semantics: The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.

Proceedings of the 1984 ACM Conference on LISP and Functional ProgrammingLFP, 1984.

Contents (37 items)

Proceedings of the 1984 ACM Conference on LISP and Functional Programming
LFP, 1984.