Sciweavers

ENTCS
2008
97views more  ENTCS 2008»
14 years 16 days ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic