AoPA — Algebra of Programming in Agda
March 30, 2008
The AoPA library allows one to encode Algebra of Programming style program derivation, both functional and relational, in Agda, accompanying the paper Algebra of Programming Using Dependent Types (MPC 2008) developed in co-operation with Hsiang-Shang Ko and Patrik Jansson.
[More ...]
- 0 Comments
Tags: Agda, Dependent Type, Program Derivation.