@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

Scheme: An Interpreter for Extended Lambda Calculus/Section 3 - Wikisource, the free online library

@thatgeoguy

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

🌺

🦎 https://t.me/FamilyOfLisp

🏷️ #Lisp #CommonLisp #Scheme #Transducers

Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package

@[email protected] @lispnik

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

🌺

🔗 https://t.me/FamilyOfLisp

🏷️ #Lisp #ConnectionMachine #Xapping #Xector #Xap #StarLisp #ELSConf #ThinkingMachines