Derek Dreyer, Ph.D.
Affiliations: | 2005 | Carnegie Mellon University, Pittsburgh, PA |
Google:
"Derek Dreyer"Parents
Sign in to add mentor| Robert Harper | grad student | 2005 | Carnegie Mellon | |
| (Understanding and evolving the ML module system.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Jung R, Krebbers R, Jourdan J, et al. (2018) Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic Journal of Functional Programming. 28 |
| Rossberg A, Russo C, Dreyer D. (2014) F-ing modules Journal of Functional Programming. 24: 529-607 |
| Krishnaswami NR, Dreyer D. (2013) Internalizing relational parametricity in the extensional calculus of constructions Leibniz International Proceedings in Informatics, Lipics. 23: 432-451 |
| Rossberg A, Dreyer D. (2013) Mixin' up the ML module system Acm Transactions On Programming Languages and Systems. 35 |
| Ziliani B, Dreyer D, Krishnaswami NR, et al. (2013) Mtac: A monad for typed tactic programming in Coq Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 87-99 |
| Gonthier G, Ziliani B, Nanevski A, et al. (2013) How to make ad hoc proof automation less ad hoc Journal of Functional Programming. 23: 357-401 |
| Hur CK, Dreyer D, Neis G, et al. (2012) The marriage of bisimulations and Kripke logical relations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 59-72 |
| Dreyer D, Neis G, Birkedal L. (2012) The impact of higher-order state and control effects on local relational reasoning Journal of Functional Programming. 22: 477-528 |
| Dreyer D. (2011) Session details: Type abstractions Sigplan Notices. 46 |
| Neis G, Dreyer D, Rossberg A. (2009) Non-parametric parametricity Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 135-148 |