Heather Miller
发表
Peter Alvaro,
Christopher S. Meiklejohn,
Heather Miller,
2019,
USENIX Annual Technical Conference.
Philipp Haller,
Heather Miller,
2013
.
Philipp Haller,
Heather Miller,
d. S. Oliveira,
2014
.
Heather Miller,
2015
.
Philipp Haller,
Heather Miller,
Normen Müller,
2018,
Journal of Functional Programming.
Philipp Haller,
Heather Miller,
2015,
PLACES.
Heather Miller,
Christopher Meiklejohn,
Christopher S. Meiklejohn,
2018,
ArXiv.
Heather Miller,
Kevin Clancy,
Kevin Clancy,
2017,
PMLDC@ECOOP.
Martin Odersky,
Philipp Haller,
Heather Miller,
2014,
ECOOP.
Heather Miller,
Christopher Meiklejohn,
Zeeshan Lakhani,
2018,
HotEdge.
Martin Odersky,
Fengyun Liu,
Heather Miller,
2017,
Proc. ACM Program. Lang..
Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs
pdf
Heather Miller,
Zeeshan Lakhani,
2018,
ArXiv.
Philipp Haller,
Heather Miller,
Philipp Haller,
2019,
J. Log. Algebraic Methods Program..
Heather Miller,
Matthew Weidner,
Christopher Meiklejohn,
2020,
PaPoC@EuroSys.
Philipp Haller,
Heather Miller,
2015,
ArXiv.
Martin Odersky,
Philipp Haller,
Heather Miller,
2014,
ICSE Companion.
Philipp Haller,
Heather Miller,
Philipp Haller,
2011
.
Heather Miller,
Michelle Scribner-MacLean,
Richard Riley,
2011
.
Kurt Squire,
Heather Miller,
Walter Holland,
2003
.
Philipp Haller,
Heather Miller,
2014,
ECOOP 2014.
Hong Liu,
Honggang Wang,
Jingfang Huang,
2011,
2011 7th International Wireless Communications and Mobile Computing Conference.
Martin Odersky,
Heather Miller,
Hubert Plociniczak,
2014
.
Martin Odersky,
Philipp Haller,
Heather Miller,
2012
.
Philipp Haller,
Heather Miller,
Normen Müller,
2016
.
Heather Miller,
Joseph Stachelek,
Chanse Ford,
2017
.
Proceedings Seventh International Workshop on Trends in Functional Programming in Education: Preface
Peter Achten,
Heather Miller,
2019
.
Martin Odersky,
Philipp Haller,
Heather Miller,
2012,
DEBS 2012.
Heather Miller,
Zeeshan Lakhani,
2019,
ANRW.
Heather Miller,
Heather Miller,
2015
.
Peter Achten,
Heather Miller,
2014
.
Philipp Haller,
Heather Miller,
2015,
Software Engineering & Management.
Jan Vitek,
Heather Miller,
Filip Krikava,
2019,
Proc. ACM Program. Lang..
Philipp Haller,
Heather Miller,
Normen Müller,
2016,
Onward!.
Honggang Wang,
Heather Miller,
Ramprasad Balasubramanian,
2012
.
Martin Odersky,
Philipp Haller,
Heather Miller,
2013,
OOPSLA.
Philipp Haller,
Heather Miller,
Ondřej Lhoták,
2017,
SCALA@SPLASH.
Martin Odersky,
Philipp Haller,
Heather Miller,
2012,
LCPC.
Rohan Padhye,
Heather Miller,
Christopher S. Meiklejohn,
2021,
SoCC.
Heather Miller,
Eugene Burmako,
2013
.