Efficient and single-steppable ULC evaluation algorithm
-
Updated
Jun 1, 2021 - Haskell
#
untyped-lambda-calculus
Here are 7 public repositories matching this topic...
A place for me to learn/ experiment with interpreters/compilers
cats
programming-language
scala
interpreter
functional-programming
lambda-calculus
scala3
y-combinator
debruijn-indices
scala-cli
lambda-calculus-interpreter
untyped-lambda-calculus
-
Updated
Oct 8, 2024 - Scala
Simply typed and advanced structures in lambda calculus
-
Updated
May 22, 2020 - Coq
some stuff about utlc written in clojure
-
Updated
Oct 2, 2015 - Clojure
functional, lambda-calculus and object-oriented programming homework assignments
ruby
haskell
gosu
functional-programming
lambda-functions
higher-order-functions
oops
lazy-evaluation
object-oriented-programming
gosu-gem
untyped-lambda-calculus
-
Updated
Nov 15, 2022 - Ruby
λ Untyped Lambda Calculus Evaluator
language
programming-language
lambda
haskell
interpreter
lambda-calculus
scripting-language
parsec
megaparsec
untyped
untyped-lambda-calculus
-
Updated
Aug 5, 2023 - Haskell
A call-by-value interpreter for the untyped lambda calculus written in Java.
-
Updated
Jun 21, 2021 - Java
Improve this page
Add a description, image, and links to the untyped-lambda-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the untyped-lambda-calculus topic, visit your repo's landing page and select "manage topics."