Lambda the Ultimate

Glossary started 9/30/2003; 3:46:34 AM - last post 9/30/2003; 3:46:34 AM Ehud Lamm - Glossary   9/30/2003; 3:46:34 AM (reads: 660, responses: 0) A Anamorphism - [foldoc] - [LtU] - [google] Apomorphism - [foldoc] - [LtU] - [google] C Catamorphism - [foldoc] - [LtU] - [google] Closure - [foldoc] - [LtU] - [google] Cohomomorphism - [foldoc] - [LtU] - [google] Continuation - [foldoc] - [LtU] - [google] Continutation Passing Style - [foldoc] - [LtU] - [google] D Denotational Semantics - [foldoc] - [LtU] - [google] F Foldr - [foldoc] - [LtU] - [google] H Homomorphism - [foldoc] - [LtU] - [google] Hylomorphism - [foldoc] - [LtU] - [google] I Isomorphism - [foldoc] - [LtU] - [google] L Lambda Calculus - [foldoc] - [LtU] - [google] M Macro - [foldoc] - [LtU] - [google] O OOP - [foldoc] - [LtU] - [google] Operational Semantics - [foldoc] - [LtU] - [google] P Paramorphism - [foldoc] - [LtU] - [google] Polymorphism - [foldoc] - [LtU] - [google] R Reflection - [foldoc] - [LtU] - [google] S Semantics - [foldoc] - [LtU] - [google] Staged Computation - [foldoc] - [LtU] - [google] Syntactic Abstraction - [foldoc] - [LtU] - [google] Syntactic Sugar - [foldoc] - [LtU] - [google] T Type System - [foldoc] - [LtU] - [google]