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...