Algebra of Programming Using Dependent Types
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
Program extraction in simply-typed higher order logic
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Hi-index | 0.00 |