talk · community record
Fun with Twelf
Introduction to Twelf, a dependently typed logic programming system useful for writing proofs about programming languages.
01
Connections
1 relationship
Introduction to Twelf, a dependently typed logic programming system useful for writing proofs about programming languages.
1 relationship