Category:Twelf
From Rosetta Code
Twelf
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Twelf.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
See Also: |
|
---|
Your Help Needed
If you know Twelf, please write code for some of the tasks not implemented in Twelf.
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.
Subcategories
This category has the following 3 subcategories, out of 3 total.