Category:Twelf
Appearance
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: |
|
---|
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.
@
- Twelf examples needing attention (empty)
- Twelf Implementations (empty)
- Twelf User (empty)