Category:Twelf

From Rosetta Code
Language
Twelf
This programming language may be used to instruct a computer to perform a task.
Official website
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Twelf.
Your Help Needed
If you know Twelf, please write code for some of the tasks not implemented in Twelf.

Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML.

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Twelf"

This category contains only the following page.