Foundations for structured programming with GADTs (2008)

Cached

Download Links

by Patricia Johann
Venue:Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:22 - 4 self

Document Versions

Foundations for structured programming with GADTs –Patricia Johann — 2008 — Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages