Derek Dreyer
发表
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2013,
POPL.
Derek Dreyer,
Hoang-Hai Dang,
Jacques-Henri Jourdan,
2019,
Proc. ACM Program. Lang..
Jeehoon Kang,
Chung-Kil Hur,
Ori Lahav,
2017,
POPL.
Derek Dreyer,
Robbert Krebbers,
Jacques-Henri Jourdan,
2021,
Commun. ACM.
Derek Dreyer,
2007,
J. Funct. Program..
Derek Dreyer,
Neelakantan R. Krishnaswami,
Derek Dreyer,
2013,
CSL.
Derek Dreyer,
2007,
ICFP '07.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2010,
POPL '10.
Ori Lahav,
Viktor Vafeiadis,
Derek Dreyer,
2017,
ECOOP.
Derek Dreyer,
Derek Dreyer,
2004,
POPL.
Derek Dreyer,
Tadeusz Litak,
Deepak Garg,
2019,
Proc. ACM Program. Lang..
Derek Dreyer,
2013,
SIGP.
Derek Dreyer,
2006
.
Derek Dreyer,
Ralf Jung,
Rodolphe Lepigre,
2020,
Proc. ACM Program. Lang..
Derek Dreyer,
Robbert Krebbers,
Jacques-Henri Jourdan,
2017,
Proc. ACM Program. Lang..
Georg Neis,
Derek Dreyer,
Andreas Rossberg,
2009,
ICFP.
Lars Birkedal,
Filip Sieczkowski,
Derek Dreyer,
2015,
POPL.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2017,
ESOP.
Derek Dreyer,
Aleksandar Nanevski,
Georges Gonthier,
2011,
ICFP '11.
Derek Dreyer,
Simon Spies,
Neel Krishnaswami,
2021,
Proc. ACM Program. Lang..
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2012,
POPL '12.
Derek Dreyer,
Matthias Blume,
2007,
ESOP.
Derek Dreyer,
Andreas Rossberg,
2013,
TOPL.
Zhong Shao,
Lars Birkedal,
Derek Dreyer,
2015,
Dagstuhl Reports.
Georg Neis,
Derek Dreyer,
Andreas Rossberg,
2011,
J. Funct. Program..
Simon Peyton Jones,
Derek Dreyer,
Edward Yang,
2016
.
Manuel M. T. Chakravarty,
Derek Dreyer,
Gabriele Keller,
2007,
POPL '07.
Jeehoon Kang,
Chung-Kil Hur,
Viktor Vafeiadis,
2016,
POPL.
Claudio V. Russo,
Derek Dreyer,
Andreas Rossberg,
2014,
J. Funct. Program..
Mary Sheeran,
Derek Dreyer,
2016,
J. Funct. Program..
Derek Dreyer,
Aaron Turon,
Deepak Garg,
2012,
ICFP '12.
Derek Dreyer,
Hoang-Hai Dang,
Jacques-Henri Jourdan,
2020
.
Claudio V. Russo,
Derek Dreyer,
Andreas Rossberg,
2010,
TLDI '10.
Simon L. Peyton Jones,
Derek Dreyer,
Simon Marlow,
2014,
POPL.
Lars Birkedal,
Derek Dreyer,
Amal Ahmed,
2009,
LICS.
Lars Birkedal,
Derek Dreyer,
Aaron Turon,
2013,
ICFP.
Jeehoon Kang,
Chung-Kil Hur,
Ori Lahav,
2017,
PLDI.
Derek Dreyer,
Robbert Krebbers,
Yann Régis-Gianas,
2018,
Proc. ACM Program. Lang..
Viktor Vafeiadis,
Derek Dreyer,
Aleksandar Nanevski,
2015,
J. Funct. Program..
Lars Birkedal,
Derek Dreyer,
Amal Ahmed,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Derek Dreyer,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Derek Dreyer,
Aleksandar Nanevski,
Georges Gonthier,
2013,
J. Funct. Program..
Derek Dreyer,
Andreas Rossberg,
2008,
ICFP 2008.
Derek Dreyer,
2014,
SIGP.
Suresh Jagannathan,
Philip Wadler,
Roberto Giacobazzi,
2013,
SIGP.
Claudio V. Russo,
Derek Dreyer,
2007,
ICFP 2007.
Claudio V. Russo,
Derek Dreyer,
2007,
ML.
Derek Dreyer,
2005,
ICFP '05.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2016,
ICFP.
Chung-Kil Hur,
Viktor Vafeiadis,
Derek Dreyer,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2015,
ICFP.
Derek Dreyer,
Perry Cheng,
Karl Crary,
2003,
TLDI '03.
Derek Dreyer,
Stephanie Weirich,
2011,
POPL 2011.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2012,
J. Funct. Program..
Joseph Tassarotti,
Viktor Vafeiadis,
Derek Dreyer,
2015,
PLDI.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2010,
ICFP '10.
Derek Dreyer,
Deepak Garg,
David Swasey,
2017,
Proc. ACM Program. Lang..
Lars Birkedal,
Derek Dreyer,
Aaron Turon,
2013,
POPL.
Derek Dreyer,
Hoang-Hai Dang,
Azalea Raad,
2020,
CAV.
Ori Lahav,
Viktor Vafeiadis,
Derek Dreyer,
2017,
Dagstuhl Artifacts Ser..
Chung-Kil Hur,
Derek Dreyer,
2011,
POPL '11.
Viktor Vafeiadis,
Derek Dreyer,
Aleksandar Nanevski,
2013,
ICFP.
Joseph Tassarotti,
Arthur Charguéraud,
Derek Dreyer,
2018,
Proc. ACM Program. Lang..
Derek Dreyer,
Amal Ahmed,
Andreas Rossberg,
2009,
POPL '09.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2018,
Journal of Functional Programming.
Jeehoon Kang,
Derek Dreyer,
Hoang-Hai Dang,
2019,
Proc. ACM Program. Lang..
Viktor Vafeiadis,
Derek Dreyer,
Aaron Turon,
2014,
OOPSLA.
Derek Dreyer,
Neelakantan R. Krishnaswami,
Simon Spies,
2021,
Proc. ACM Program. Lang..
Derek Dreyer,
Hoang-Hai Dang,
Ralf Jung,
2021,
Proc. ACM Program. Lang..
Derek Dreyer,
Robbert Krebbers,
Deepak Garg,
2021,
PLDI.
Joseph Tassarotti,
Lars Birkedal,
Derek Dreyer,
2021,
PLDI.
Derek Dreyer,
Robbert Krebbers,
Jacques-Henri Jourdan,
2021,
Commun. ACM.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2012
.
Derek Dreyer,
Amal Ahmed,
Andreas Rossberg,
2008
.
Derek Dreyer,
2018
.
Jeehoon Kang,
Chung-Kil Hur,
Viktor Vafeiadis,
2016,
POPL.
Chung-Kil Hur,
Georg Neis,
Derek Dreyer,
2014
.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2013
.