Twelf is a programming language created in 2006 by Frank Pfenning and Carsten Schürmann.
| #3682on PLDB | 18Years Old |
Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon . It is used for logic programming and for the formalization of programming language theory.. Read more on Wikipedia...