#aimemo — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aimemo, aggregated by home.social.
-
@jnkrtech you can read the original “Lambda Papers,” particularly AI Memo 349 “ Scheme: An Interpreter for Extended Lambda Calculus“ by Sussman and Steele where (I believe for the first time) continuation passing style was described in Section 3.4 “Continuation Passing Recursion”.
The rest of the “Lambda Papers” are all available on Wikisource.
#tech #software #FunctionalProgramming #Scheme #SchemeLang #R7RS #GerrySussman #GuySteele #AIMemo #MIT #LambdaPapers
-
Anytime!
If you would like to find out more on theory & implementation, they are presented in two classic #MIT #AIMemo|s by Richard C Waters:
›Obviously Synchronizable Series Expression — Part I: User's Manual for the OSS Macro Package‹ (#AIM958a)
🧷 http://oastats.mit.edu/handle/1721.1/6472›Obviously Synchronizable Series Expressions — Part II: Overview of the Theory and Implementation‹ (#AIM959a)
🧷 http://oastats.mit.edu/handle/1721.1/6474🌺
-
There's also a famed paper on #ConnectionMachineLisp by Guy L Steele Jr and W Daniel Hillis from #Y1986:
→ https://dl.acm.org/doi/pdf/10.1145/319838.319870
The book is Hillis' thesis (supervised by Gerald J Sussman) which is based on his #AIMemo (#MITTechnicalReport) from #Y1981:
→ https://dspace.mit.edu/handle/1721.1/5679
A Technical Summary of the CM-2 is here:
→ https://people.csail.mit.edu/bradley/cm5docs/nov06/ConnectionMachineModelCM-2TechnicalSummary.pdf
🌺
🏷️ #Lisp #ConnectionMachine #Xapping #Xector #Xap #StarLisp #ELSConf #ThinkingMachines