Results for lambda calculus
-
aplusplus.net
A++ An Educational Programming Language Based on the Lambda Calculus
A++ is a programming language helping students quickly and thoroughly understand the essentials and become familiar with powerful programming patterns applicable in most programming languages.
-
lambda-bound.com
ARS Based Programming: Fundamental And Without Limits
ARS Based Programming is built on three principles: 'Abstraction, Reference and Synthesis' (ARS) which are derived from the Lambda Calculus. The site introduces ARS including three tools helping to learn and apply this approach.
-
fujit.org
Fujit.org Home
An open source lambda-calculus based JIT for dynamically typed languages with first class environments, record types, and call-by-name/call-by-value evaluation.
-
caplet.com
Mark S. Miller's Home Page
Caplet(tm) Security: A Consulting Company
-
capcert.com
Welcome to CapCert.com
E: Cryptographic Capabilities for Distributed Smart Contracting
-
capscript.com
Welcome to CapScript.com
E: Cryptographic Capabilities for Distributed Smart Contracting
-
capcontract.net
Welcome to CapContract.net
E: Cryptographic Capabilities for Distributed Smart Contracting
-
ertp.net
Welcome to ERTP.net
E: Cryptographic Capabilities for Distributed Smart Contracting
-
protaldo.net
index
particle physics
-
vattp.net
Welcome to VatTP.net
E: Cryptographic Capabilities for Distributed Smart Contracting
-
rochel.info
Jan Rochel
My personal web pages about my research in the field of functional programming, λ-calculus, and rewriting; also some music...
-
capcert.org
Welcome to CapCert.org
E: Cryptographic Capabilities for Distributed Smart Contracting
-
captp.org
Welcome to CapTP.org
E: Cryptographic Capabilities for Distributed Smart Contracting
