Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


Twelf - Programming language

< >

Twelf is a programming language created in 2006 by Frank Pfenning and Carsten Sch眉rmann.

#2104on PLDB 17Years Old 95Users
0Books 0Papers

Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Sch眉rmann at Carnegie Mellon University . It is used for logic programming and for the formalization of programming language theory.. Read more on Wikipedia...

apse.html 路 twelf.html 路 tasm.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub