☰

Derek Dreyer, Ph.D. - Publications

Affiliations: 
2005 Carnegie Mellon University, Pittsburgh, PA 
Tree Info Similar researchers PubMed Report error

17 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Jung R, Krebbers R, Jourdan J, Bizjak A, Birkedal L, Dreyer D. Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic Journal of Functional Programming. 28. DOI: 10.1017/S0956796818000151  0.354
2014 Rossberg A, Russo C, Dreyer D. F-ing modules Journal of Functional Programming. 24: 529-607. DOI: 10.1017/S0956796814000264  0.391
2013 Krishnaswami NR, Dreyer D. Internalizing relational parametricity in the extensional calculus of constructions Leibniz International Proceedings in Informatics, Lipics. 23: 432-451. DOI: 10.4230/LIPIcs.CSL.2013.432  0.325
2013 Rossberg A, Dreyer D. Mixin' up the ML module system Acm Transactions On Programming Languages and Systems. 35. DOI: 10.1145/2450136.2450137  0.441
2013 Ziliani B, Dreyer D, Krishnaswami NR, Nanevski A, Vafeiadis V. Mtac: A monad for typed tactic programming in Coq Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 87-99. DOI: 10.1017/S0956796815000118  0.422
2013 Gonthier G, Ziliani B, Nanevski A, Dreyer D. How to make ad hoc proof automation less ad hoc Journal of Functional Programming. 23: 357-401. DOI: 10.1017/S0956796813000051  0.429
2012 Hur CK, Dreyer D, Neis G, Vafeiadis V. The marriage of bisimulations and Kripke logical relations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 59-72. DOI: 10.1145/2103656.2103666  0.317
2012 Dreyer D, Neis G, Birkedal L. The impact of higher-order state and control effects on local relational reasoning Journal of Functional Programming. 22: 477-528. DOI: 10.1017/S095679681200024X  0.381
2011 Dreyer D. Session details: Type abstractions Sigplan Notices. 46. DOI: 10.1145/3261737  0.38
2009 Neis G, Dreyer D, Rossberg A. Non-parametric parametricity Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 135-148. DOI: 10.1017/S0956796811000165  0.443
2007 Dreyer D, Harper R, Chakravarty MMT. Modular type classes Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 63-70. DOI: 10.1145/1190216.1190229  0.516
2007 Dreyer D. Recursive type generativity Journal of Functional Programming. 17: 433-471. DOI: 10.1017/S0956796807006429  0.45
2007 Dreyer D, Blume M. Principal type schemes for modular programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4421: 441-457.  0.354
2003 Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P. Typed Compilation of Recursive Datatypes Proceedings of the 2003 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 98-108.  0.371
2003 Dreyer D, Crary K, Harper R. A type system for higher-order modules Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 236-249.  0.372
2003 Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P. Typed Compilation of Recursive Datatypes Proceedings of the 2003 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 98-108.  0.501
2003 Dreyer D, Crary K, Harper R. A type system for higher-order modules Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 236-249.  0.502
Show low-probability matches.