- Questions about the paper "A Framework for Defining Logics" (LF) https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf 6 comments programminglanguages
Linking pages
- Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - cohomolo-gy/haskell-resources: A List of Foundational Haskell Papers https://github.com/cohomolo-gy/haskell-resources 19 comments
Related searches:
Search whole site: site:www.andres-loeh.de
Search title: Questions about the paper "A Framework for Defining Logics" (LF)
See how to search.