Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Common Lisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
The paper presents SQLT-Web, a Web-enabled intelligent tutoring system for the SQL database language. SQLT-Web is a Web-enabled… Expand
Highly Cited
2001
Highly Cited
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by… Expand
Highly Cited
1997
Highly Cited
1997
ACL2 is a reimplemented extended version of R.S. Boyer and J.S. Moore's (1979; 1988) Nqthm and M. Kaufmann's (1988) Pc-Nqthm… Expand
Highly Cited
1997
Highly Cited
1997
This article explores the potential impact of collaboratories on psychology. A collaboratory is a computer-supported system that… Expand
Highly Cited
1995
Highly Cited
1995
1. Introduction. 2. Welcome to Lisp. 3. Lists. 4. Specialized Data Structures. 5. Control. 6. Functions. 7. Input and Output. 8… Expand
Review
1994
Review
1994
A World−Wide Web (WWW) server was implemented in Common LISP in order to facilitate exploratory programming in the global… Expand
Highly Cited
1993
Highly Cited
1993
1. The Extensible Language. 2. Functions. 3. Functional Programming. 4. Utility Functions. 5. Returning Functions. 6. Functions… Expand
Highly Cited
1992
Highly Cited
1992
Abstract The syntactic theories of control and state are conservative extensions of the λ υ -calculus for equational reasoning… Expand
Highly Cited
1988
Highly Cited
1988
IntroductionThe Common Lisp Object System is an object-oriented extension toCommon Lisp as defined in Common Lisp: The Language… Expand
Highly Cited
1986
Highly Cited
1986
Many of the ideas behind object-oriented programming have roots going back to SIMULA. The first substantial interactive, display… Expand
