Home » forums » Site Discussion

Glossary of abbreviations on LTU

Perhaps this can be made part of a FAQ.

There are many abbreviations used on LTU which are neither obvious, nor part of the computer science lexicon. To aid new readers, I propose a glossary of such.

To start off the list:

CTM: Concepts, Techniques and Models of Computer Programming by PVR
PVR: Peter van Roy
LTU: Lambda the Ultimate (in case there was any doubt)
SICP: Structure and Interpretation of Computer Programs by Abelson and Sussman

Lots more, I'm sure... please add to the list.

By Scott Johnson at 2005-01-28 23:14 | Site Discussion | previous forum topic | next forum topic | other blogs | 7252 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Shortcuts

Maybe we can extract the Manila shortcuts we had on the LtU1. They were mostly acronyms.

Here are a couple more:

EOPL - Essentials of Programmign Languages (Friedman, Wand, Haynes).

EOPL2 - Second edition of EOPL.

TSPL - The Scheme Programming Language. Dybvig.

By Ehud Lamm at Fri, 2005-01-28 23:44 | login or register to post comments

Or we could just make up some new ones

DEBTAP: Difference exists between theory and practice.

By Chris Rathman at Sat, 2005-01-29 00:23 | login or register to post comments

A few from the #haskell irc channel.

  • ICFP - International Conference on Functional Programming (conference)
  • TCO - Tail Call Optimization
  • CPS - Continuation Passing Style
  • TaPL - Type and Programming Languages
  • IFL - Implementation of Functional Languages (conference)
  • UTSL - Use the source, Luke

--Shae Erisson - ScannedInAvian.com

By shapr at Sat, 2005-01-29 01:46 | login or register to post comments