From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
Temporal higher-order contracts
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
The geometry of synthesis: how to make hardware out of software (abstract)
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Hi-index | 0.00 |