首页>外文会议>Proceedings of the 1984 ACM Symposium on LISP and functional programming

Proceedings of the 1984 ACM Symposium on LISP and functional programming

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Implementation of multilisp

机译：实现multilisp
- 作者：Robert H. Halstead
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
2.Listlessness is better than laziness

机译：精疲力尽总比懒惰好
- 作者：Philip Wadler
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
3.Schema recognition for program transformations

机译：程序转换的模式识别
- 作者：John S. Givler;Richard B. Kieburtz
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
4.Engines build process abstractions

机译：引擎构建流程抽象
- 作者：Christopher T. Haynes;Daniel P. Friedman
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
5.Early LISP history (1956 - 1959)

机译：LISP的早期历史（1956-1959）
- 作者：Herbert Stoyan
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
6.Making control and data flow in logic programs explicit

机译：明确逻辑程序中的控制和数据流
- 作者：Gert Smolka
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
7.Formes

机译：形状
- 作者：Pierre Cointe;Xavier Rodet
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
8.Arctic

机译：北极
- 作者：Roger B. Dannenberg
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
9.muFP, a language for VLSI design

机译：muFP，一种用于VLSI设计的语言
- 作者：Mary Sheeran
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
10.Expression evaluation in the icon programming language

机译：图标编程语言中的表达评估
- 作者：Ralph E. Griswold
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
11.A proposal for standard ML

机译：标准ML提案
- 作者：Robin Milner
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
12.LELISP, a portable and efficient LISP system

机译：LELISP，便携式高效的LISP系统
- 作者：Jerome Chailloux;Ma´thieu Devin;Jean-Marie Hullot;Ma´thieu Devin
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
13.DIALISP - a LISP machine

机译：DIALISP-LISP机器
- 作者：G. Stefan;A. Paun;V. Bistriceanu;A. Birnbaum
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
14.A critique of common LISP

机译：对常见LISP的批评
- 作者：Rodney A. Brooks;Richard P. Gabriel
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
15.Queue-based multi-processing LISP

机译：基于队列的多处理LISP
- 作者：Richard P. Gabriel;John McCarthy
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
16.Stream processing

机译：流处理
- 作者：Allen Goldberg;Robert Paige
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
17.Rewriting systems on FP expressions that reduce the number of sequences they yield

机译：在FP表达式上重写系统，以减少它们产生的序列数
- 作者：Francoise Bellegarde
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
18.Recent developments in ISI-interlisp

机译：ISI-interlisp的最新发展
- 作者：Raymond L. Bates;David Dyer;Mark Feber
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
19.TAO

机译：tao
- 作者：Hiroshi G. Okuno;Ikuo Takeuchi;Nobuyasu Osato;Yasushi Hibino;Kazufumi Watanabe
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
20.The design of an instruction set for common LISP

机译：通用LISP指令集的设计
- 作者：Skef Wholey;Scott E. Fahlman
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
21.Some practical methods for rapid combinator reduction

机译：快速减少组合器的一些实用方法
- 作者：W. R. Stoye;T. J. W. Clarke;A. C. Norman
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
22.The scheme 311 compiler an exercise in denotational semantics

机译：方案311编译器指称语义练习。
- 作者：William Clinger
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
23.Experiments in diffused combinator reduction

机译：扩散组合器还原的实验
- 作者：Paul Hudak;Benjamin Goldberg
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
24.Modules for standard ML

机译：适用于标准ML的模块
- 作者：David MacQueen
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
25.A compiler for lazy ML

机译：惰性ML的编译器
- 作者：Lennart Augustsson
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
26.Compiling a functional language

机译：编译功能语言
- 作者：Luca Cardelli
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
27.Recursion is more efficient than iteration

机译：递归比迭代更有效
- 作者：Emmanuel Saint-James
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
28.Type inference and type checking for functional programming languages

机译：功能编程语言的类型推断和类型检查
- 作者：Takuya Katayama
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
29.Garbage collection in a large LISP system

机译：大型LISP系统中的垃圾收集
- 作者：David A. Moon
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
30.A powerful strategy for deriving efficient programs by transformation

机译：通过转换得出有效程序的强大策略
- 作者：Alberto Pettorossi
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
31.Steps toward better debugging tools for LISP

机译：向LISP寻求更好的调试工具的步骤
- 作者：Henry Lieberman
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
32.Trading data space for reduced time and code space in real-time garbage collection on stock hardware

机译：交换数据空间以减少时间，并减少库存硬件上实时垃圾回收中的代码空间
- 作者：Rodney A. Brooks
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
33.Busy and lazy FP with infinite objects

机译：带有无限对象的忙碌和懒惰FP
- 作者：Walter Dosch;Bernhard Moller;Bernhard Mollergt
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
34.Continuations and coroutines

机译：延续和协程
- 作者：Christopher T. Haynes;Daniel P. Friedman;Mitchell Wand
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
35.TABLOG

机译：标签
- 作者：Yonathan Malachi;Zohar Manna;Richard Waldinger
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
36.The implementation of procedurally reflective languages

机译：程序反射语言的实现
- 作者：Jim des Rivieres;Brian Cantwell Smith
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年
37.Reification

机译：化身
- 作者：Daniel P. Friedman;Mitchell Wand
- 会议名称：《Proceedings of the 1984 ACM Symposium on LISP and functional programming》 | 1984年