Mary Sheeran
发表
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2014,
ACM Queue.
Mary Sheeran,
Abhiroop Sarkar,
M. Sheeran,
2020,
PPDP.
Mary Sheeran,
2004,
FMCAD.
Mary Sheeran,
M. Sheeran,
2010,
Journal of Functional Programming.
Mary Sheeran,
Geraint Jones,
1991
.
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2016,
J. Funct. Program..
Mary Sheeran,
Markus Aronsson,
Emil Axelsson,
2014,
IFL.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1990
.
Mary Sheeran,
Emil Axelsson,
2011,
CEFP.
Mary Sheeran,
Geraint Jones,
1991,
VLSI.
Mary Sheeran,
M. Sheeran,
2007
.
Mary Sheeran,
2005
.
Bo Joel Svensson,
Mary Sheeran,
Martin Elsman,
2016,
FHPC@ICFP.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
1998,
ICFP '98.
Mary Sheeran,
Magnus Själander,
Per Larsson-Edefors,
2006
.
Mary Sheeran,
Koen Claessen,
Nicholas Smallbone,
2019,
FHPNC@ICFP.
Mary Sheeran,
1991
.
Zoltán Horváth,
Mary Sheeran,
Emil Axelsson,
2010,
CGO 2010.
Mary Sheeran,
M. Sheeran,
1985,
FPCA.
Mary Sheeran,
2003
.
Mary Sheeran,
Wayne Luk,
Geraint Jones,
1990
.
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2005,
CHARME.
Mary Sheeran,
T. Melham,
2004
.
Mary Sheeran,
Satnam Singh,
1997
.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1994,
Sci. Comput. Program..
Mary Sheeran,
Gunnar Stålmarck,
G. Stålmarck,
2000,
Formal Methods Syst. Des..
Mary Sheeran,
1983
.
Zoltán Horváth,
Mary Sheeran,
Koen Claessen,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Mary Sheeran,
Emil Axelsson,
Per Larsson-Edefors,
2009,
2009 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009).
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2006
.
Mary Sheeran,
Knut Åkesson,
Koen Claessen,
2009,
Discret. Event Dyn. Syst..
Bo Joel Svensson,
Mary Sheeran,
Ryan R. Newton,
2014
.
Bo Joel Svensson,
Mary Sheeran,
Josef Svenningsson,
2013,
FHPC '13.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1991
.
Mary Sheeran,
Koen Claessen,
Joel Bo Svensson,
2011
.
Mary Sheeran,
M. Sheeran,
1989,
Functional Programming.
Mary Sheeran,
Jason Baumgartner,
2007
.
Mary Sheeran,
Satnam Singh,
Gunnar Stålmarck,
2000,
FMCAD.
Mary Sheeran,
Geraint Jones,
1994,
Sci. Comput. Program..
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2010,
IFL.
Mary Sheeran,
2005,
J. Univers. Comput. Sci..
Mary Sheeran,
Satnam Singh,
1996
.
Mary Sheeran,
2015,
ICFP.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1992,
Functional Programming.
Mary Sheeran,
Satnam Singh,
1996
.
Mary Sheeran,
1989,
Hardware Specification, Verification and Synthesis.
Mary Sheeran,
2005
.
Jan Vitek,
Mary Sheeran,
Hidehiko Masuhara,
2015,
ARRAY@PLDI.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010,
ICCS.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2003,
International Journal on Software Tools for Technology Transfer.
Mary Sheeran,
Jason Baumgartner,
2007
.
Mary Sheeran,
Derek Dreyer,
2016,
J. Funct. Program..
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2004
.
Mary Sheeran,
Magnus Själander,
Henrik Eriksson,
2006,
2006 IEEE International Symposium on Circuits and Systems.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001,
CHARME.
Mary Sheeran,
Gunnar Stålmarck,
G. Stålmarck,
1998,
FMCAD.
Axel Jantsch,
Mary Sheeran,
Patrick Schaumont,
2000
.
Mary Sheeran,
2003
.
Mary Sheeran,
1991
.
Mary Sheeran,
Lars Svensson,
John Hughes,
2003
.
Mary Sheeran,
Wouter Swierstra,
Koen Claessen,
2009
.
Bo Joel Svensson,
Mary Sheeran,
2012,
FHPC '12.
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2014,
CACM.
Mary Sheeran,
Markus Aronsson,
2017,
Haskell.
Mary Sheeran,
M. Sheeran,
2003,
CHARME.
Mary Sheeran,
M. Sheeran,
1984,
LFP '84.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008,
IFL.
Mary Sheeran,
Koen Claessen,
M. Sheeran,
2000
.
Mary Sheeran,
1991,
Functional Programming.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2012,
DAMP '12.
Tom Melham,
Mary Sheeran,
2002
.
Mary Sheeran,
Per Larsson-Edefors,
Emil Axelsson,
2009
.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1988
.
Mary Sheeran,
Wouter Swierstra,
Koen Claessen,
2010
.
Mary Sheeran,
Satnam Singh,
Koen Claessen,
2003
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010
.
Bo Joel Svensson,
Mary Sheeran,
Abhiroop Sarkar,
2021,
MPLR.
Mary Sheeran,
M. Sheeran,
2007
.
Mary Sheeran,
Ian Parberry,
I. Parberry,
2006
.
Mary Sheeran,
M. Sheeran,
1996
.
Mary Sheeran,
2007
.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008
.