guava@iis, 1604, Taipei, Taiwan, Earth
Home
Research
Systems
Papers
People
Events
Contact
----------
recent
index
----------
中文版
----------
Login
Trace:
»
Papers
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.
en:papers:home Last modified: 2007/10/24 00:56