Papers
List all papers by author, by research topic, by publication date, or by tags.
Open Geospatial Information Program Verification Semiotics and Information Science Social Implications of Information Technologies XML and Web Technologies functional programming others type theory
type theory
- Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Algebra of programming in Agda: dependent types for relational program derivation. To appear in Journal of Functional Programming. 2009.
- Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Algebra of programming using dependent types. In Mathematics of Program Construction. 2008.