A. Momigliano
发表
M. Hofmann,
Lennart Beringer,
A. Momigliano,
2004
.
A. Momigliano,
2005
.
A. Momigliano,
1993
.
A. Momigliano,
Dale Miller,
Roberto Blanco,
2020
.
Alberto Momigliano,
Randy Pollack,
A. Momigliano,
2005
.
A. Momigliano,
A. Felty,
2008,
J. Autom. Reason..
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
M. Hofmann,
Lennart Beringer,
A. Momigliano,
2017
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
Frank Pfenning,
Alberto Momigliano,
A. Momigliano,
2001,
ArXiv.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
A. Momigliano,
Mario Ornaghi,
Camillo Fiorentini,
2005
.
A. Momigliano,
Mario Ornaghi,
2019
.
A. Momigliano,
J. Llorens,
A. Felty,
2022,
Physical Review Applied.
A. Momigliano,
Francesco Komauli,
2018
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Alberto Momigliano,
Massimo Paltrinieri,
Franco Torquati,
1992
.
Alberto Momigliano,
Massimo Paltrinieri,
Franco Torquati,
1990,
IEA/AIE.
Kung-Kiu Lau,
Mario Ornaghi,
Alberto Momigliano,
2004,
LOPSTR.
James Cheney,
Alberto Momigliano,
J. Cheney,
2007,
PPDP '07.
Mario Ornaghi,
Alberto Momigliano,
A. Momigliano,
1997,
LOPSTR.
Alberto Momigliano,
Alwen Tiu,
A. Momigliano,
2003,
TYPES.
Alberto Momigliano,
A. Momigliano,
2000,
CSL.
Alberto Momigliano,
Simon Ambler,
A. Momigliano,
2003,
FoSSaCS.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2010,
ICMT@TOOLS.
Mario Ornaghi,
Alberto Momigliano,
A. Momigliano,
1997,
J. Log. Comput..
Alberto Momigliano,
A. Momigliano,
2001
.
James Cheney,
Alberto Momigliano,
Matteo Pessina,
2016,
ArXiv.
James Cheney,
Alberto Momigliano,
Matteo Pessina,
2016,
TAP@STAF.
Dale Miller,
Alberto Momigliano,
Roberto Blanco,
2019,
PPDP.
Camillo Fiorentini,
Alberto Momigliano,
Alessandro Avellone,
2013,
CILC.
Alberto Momigliano,
Brigitte Pientka,
Andreas Abel,
2019,
Journal of Functional Programming.
David Aspinall,
Alberto Momigliano,
Lennart Beringer,
2007,
COCV@ETAPS.
Alberto Momigliano,
Brigitte Pientka,
David Thibodeau,
2018,
Mathematical Structures in Computer Science.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2009,
TYPES.
Mario Ornaghi,
Alberto Momigliano,
A. Momigliano,
2010,
25 Years GULP.
James Cheney,
Alberto Momigliano,
J. Cheney,
2017,
Theory and Practice of Logic Programming.
James Cheney,
Alberto Momigliano,
J. Cheney,
2022
.
Roy L. Crole,
Alberto Momigliano,
S. J. Ambler,
2003,
MERLIN '03.
Martin Hofmann,
Hans-Wolfgang Loidl,
David Aspinall,
2007,
Theor. Comput. Sci..
Roy L. Crole,
Alberto Momigliano,
Simon Ambler,
2002,
TPHOLs.