Dependently-typed Formal Languages Category Website Links For
Formal
 

Information About

Dependently-typed Formal Languages Category




Articles about Dependently-typed Formal Languages Category


Aldor Cayenne Programming Language Coq
Dependent Ml Dependent Type Epigram Programming Language
Mizar System Prototype Verification System Twelf