TypesystemTemplate

TOC

Explanation

WikiInclude(TypesystemNameExplanation)

Ensure that this explanation cites and includes the appropriate papers to understand and use this typesystem. Also, make sure to point to its typechecker implementation.

Milestones and Tickets

• milestone
• tickets

Source Code

• src/TypesystemName

Example

WikiInclude(TypesystemNameExample)

Please add an example to the TypesystemNameExample page

News and Status

WikiInclude(TypesystemNameNews)

Recent Changes

ChangeLog(src/TypecheckerName, 2)

Owners

• Name of Researcher/Owner

Dependencies and Subcomponents

• list dependencies on other subsystems, typecheckers, etc. here

Version: 1 Time: Fri Sep 12 13:58:23 2008 Author: kiniry (kiniry) IP: 85.134.169.98