Tim Sheard
- Meta-programming With Built-in Type Equality
2008/02/01 by Tim Sheard, Emir Pasalic · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Mega- #Programming language #Computer science #Functional logic programming #ENCODE #Data type #Answer set programming #Logic programming #First-generation programming language #Programming domain #Programming paradigm #Inductive programming #Type (biology) #Set (abstract data type) #Point (geometry) #Theoretical computer science #Mathematics