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