twelf

There are 0 repository under twelf topic.

namin / dot
formalization of the Dependent Object Types (DOT) calculus
meta-theory twelf plt-redex coq dafny oop
154
andreasabel / helf
Haskell implementation of the Edinburgh Logical Framework
logical framework lf dependent-types haskell twelf
Language:Haskell 26
jgaltidor / twelf_tutorial
Twelf Tutorial and Twelf Encoding of Minilang
formal-methods formal-verification typetheory-paper proof-assistant twelf
6
ahf / twelf-syntax
Vim plug-in for the Twelf language.
vim vim-script vim-plugin twelf
Language:Vim Script 3
pqnelson / ml
A Study in Implementing Functional Programming Languages
language parser c functional-programming-language correctness hoare-logic twelf acsl interpreter abstract-machine compiler
Language:C 2
ahf / twelf-experiments
Toy programs written while trying to learn the Twelf language.
twelf
1
ahovgaard / twelf-records
Formalization of a simple functional language with records and subtyping in Twelf.
twelf types formalization
1
Mroik / twelf-interpreter
A twelf interpreter written in python
interpreter twelf python
Language:Python 1

namin / dot