Matthew R. Lakin

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

1 EE Matthew R. Lakin, Andrew M. Pitts: Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. ESOP 2009: 47-61

2009
1	EE	Matthew R. Lakin, Andrew M. Pitts: Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. ESOP 2009: 47-61

Coauthor Index

1 Andrew M. Pitts [1]