The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
S-1 Common Lisp implementation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Overview and status of DoradoLisp
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Rabbit: A Compiler for Scheme
Lisp machine manual
ACM Transactions on Programming Languages and Systems (TOPLAS)
ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Rule-based transformation of relational queries into iterative programs
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A critique of Abelson and Sussman or why calculating is better than scheming
ACM SIGPLAN Notices
CommonLoops: merging Lisp and object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Oaklisp: an object-oriented scheme with first class types
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Tags and type checking in LISP: hardware and software approaches
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Extension and software development
ICSE '88 Proceedings of the 10th international conference on Software engineering
Object-oriented programming in scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Toward a typed foundation for method specialization and inheritance
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making pure object-oriented languages practical
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Path analysis and the optimization of nonstrict functional languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cache performance of garbage-collected programs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Analyzing stores and references in a parallel symbolic language
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Atomic heap transactions and fine-grain interrupts
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Desiderata for the standardization of LISP
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
A lambda calculus of objects and method specialization
Nordic Journal of Computing
A combinator-based compiler for a functional language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experiments in diffused combinator reduction
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The scheme 311 compiler an exercise in denotational semantics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
TAO: a harmonic mean of Lisp, Prolog and Smalltalk
ACM SIGPLAN Notices
Orbit: an optimizing compiler for scheme
ACM SIGPLAN Notices - Best of PLDI 1979-1999
History of programming languages---II
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
ACM SIGPLAN Lisp Pointers
Lisp-in-lisp: high performance and portability
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Revised6 report on the algorithmic language scheme
Journal of Functional Programming
Closure generation based on viewing lambda as epsilon plus compile
Computer Languages
| Hi-index | 0.00 |
The T project is an experiment in language design and implementation. Its purpose is to test the thesis developed by Steele and Sussman in their series of papers about the Scheme language: that Scheme may be used as the basis for a practical programming language of exceptional expressive power; and, that implementations of Scheme could perform better than other Lisp systems, and competitively with implementations of programming languages, such as C and Bliss, which are usually considered to be inherently more efficient than Lisp on conventional machine architectures. We are developing a portable implementation of T, currently targeted for the VAX under the Unix and VMS operating systems and for the Apollo, a MC68000-based workstation.