S. Staton
发表
Ohad Kammar,
Hongseok Yang,
Zoubin Ghahramani,
2017,
Proc. ACM Program. Lang..
S. Staton,
J. V. Oosten,
Yusheng Feng,
2015
.
Sean K. Moss,
KLAUS OSTERMANN,
Zoubin Ghahramani,
2017
.
Hongseok Yang,
S. Staton,
Paul Jung,
2018,
1812.06282.
Neil Ghani,
S. Staton,
F. Forsberg,
2015
.
Sean K. Moss,
S. Staton,
C. Matache,
2022,
LICS.
Sean K. Moss,
S. Staton,
C. Matache,
2021,
FSCD.
S. Staton,
Ned Summers,
2022,
ArXiv.
Frank D. Wood,
Hongseok Yang,
Ohad Kammar,
2015
.
S. Staton,
2009
.
S. Staton,
2008
.
Vikash K. Mansinghka,
Alexander K. Lew,
S. Staton,
2022,
Proc. ACM Program. Lang..
S. Staton,
Hugo Paquet,
Youness Kaddar,
2022,
Proc. ACM Program. Lang..
S. Staton,
Mathieu Huot,
2020
.
Sam Staton,
Paul Blain Levy,
P. Levy,
2014,
CSL-LICS.
B. Jacobs,
S. Staton,
2020,
CMCS.
Sam Staton,
S. Staton,
2015,
POPL.
Marcin Sabok,
Sam Staton,
Dario Stein,
2020,
Proc. ACM Program. Lang..
Sam Staton,
Swaraj Dash,
S. Staton,
2021,
ACT.
Ohad Kammar,
Sam Staton,
Chris Heunen,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dario Stein,
Sam Staton,
S. Staton,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ohad Kammar,
Sam Staton,
Matthijs Vákár,
2018,
Proc. ACM Program. Lang..
Ohad Kammar,
Frank D. Wood,
Hongseok Yang,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sam Staton,
Mathieu Huot,
S. Staton,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ohad Kammar,
Hongseok Yang,
Sam Staton,
2016
.
S. Staton,
Matthijs V'ak'ar,
Mathieu Huot,
2020,
FoSSaCS.
Sam Staton,
Mathieu Huot,
S. Staton,
2019,
QPL.
Robert Furber,
Sam Staton,
Mathys Rennela,
2017,
QPL.
Sam Staton,
Danel Ahman,
S. Staton,
2013,
MFPS.
S. Staton,
2020,
Foundations of Probabilistic Programming.
Tom Melham,
Ohad Kammar,
Sam Staton,
2020,
NLPCSS.
Thorsten Altenkirch,
Sam Staton,
Paul Blain Levy,
2010,
CiE.
S. Staton,
Matthijs V'ak'ar,
Mathieu Huot,
2021,
Log. Methods Comput. Sci..
Vikash K. Mansinghka,
Alexander K. Lew,
S. Staton,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Hongseok Yang,
Daniel M. Roy,
Nathanael L. Ackerman,
2018,
ICALP.
Sam Staton,
S. Staton,
2017,
ESOP.
Ohad Kammar,
Sam Staton,
Paul Blain Levy,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sam Staton,
S. Staton,
2009,
CALCO.
Sam Staton,
Marcelo P. Fiore,
S. Staton,
2004,
CMCS.
Sam Staton,
Marcelo P. Fiore,
S. Staton,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Rasmus Ejlers Møgelberg,
Sam Staton,
S. Staton,
2014,
Log. Methods Comput. Sci..
Sam Staton,
S. Staton,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Sam Staton,
Maciej Piróg,
S. Staton,
2017,
Journal of Functional Programming.
Hongseok Yang,
Ohad Kammar,
S. Staton,
1972
.
Sam Staton,
Sander Uijlen,
S. Staton,
2015,
ICALP.
Sam Staton,
S. Staton,
2013,
FoSSaCS.
Sam Staton,
Mathys Rennela,
S. Staton,
2018,
MFPS.
Sam Staton,
Mathys Rennela,
S. Staton,
2017,
Log. Methods Comput. Sci..
Sam Staton,
S. Staton,
2014,
WACT.
Sam Staton,
S. Staton,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Rasmus Ejlers Møgelberg,
Sam Staton,
S. Staton,
2011,
CALCO.
Sam Staton,
S. Staton,
2009,
MFPS.
Sam Staton,
Paul Blain Levy,
P. Levy,
2013,
POPL.
S. Staton,
Michael Wolman,
Marcin Sabok,
2020,
Proc. ACM Program. Lang..