#
twelf
Here are 8 public repositories matching this topic...
Twelf Tutorial and Twelf Encoding of Minilang
-
Updated
Jun 9, 2015
A Study in Implementing Functional Programming Languages
c language parser interpreter compiler correctness acsl twelf hoare-logic abstract-machine functional-programming-language
-
Updated
Aug 17, 2019 - C
Formalization of a simple functional language with records and subtyping in Twelf.
-
Updated
Apr 28, 2017
Improve this page
Add a description, image, and links to the twelf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the twelf topic, visit your repo's landing page and select "manage topics."