I. Stark
发表
Stephen Gilmore,
Ian Stark,
Martin Hofmann,
2004,
CASSIS.
I. Stark,
A. Pitts,
1999
.
Alan Bundy,
Ian Stark,
Alex Blewitt,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
I. Stark,
2000
.
I. Stark,
A. Pitts,
1993
.
I. Stark,
C. Banks,
2017
.
I. Stark,
A. Jung,
P. O'Hearn,
1996
.
I. Stark,
1997
.
I. Stark,
M. Kwiatkowski,
2011
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2017
.
I. Stark,
1995
.
Erik Poll,
Lennart Beringer,
Martin Hofmann,
2008
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
I. Stark,
2017
.
M. Hofmann,
I. Stark,
Lennart Beringer,
2017
.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2013,
PASM/PDMC.
D. Aspinall,
I. Stark,
P. Stevens,
1989,
The China Quarterly.
Ian Stark,
Thomas Wright,
I. Stark,
2020,
SASB.
Ian Stark,
I. Stark,
2005,
FoSSaCS.
Alan Bundy,
Ian Stark,
Alex Blewitt,
2005,
ASE.
I. Stark,
Thomas Wright,
2020,
RV.
Ian David Bede Stark,
I. Stark,
1994
.
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
Ian Stark,
Marek Kwiatkowski,
I. Stark,
2008,
CMSB.
Peter G. Neumann,
Robert N. M. Watson,
Simon W. Moore,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Ian Stark,
Thomas Wright,
I. Stark,
2018,
ArXiv.
Ian Stark,
I. Stark,
2008,
Theor. Comput. Sci..
Glynn Winskel,
Gian Luca Cattani,
Ian Stark,
1997,
Category Theory and Computer Science.
Ian Stark,
I. Stark,
1997
.
Brian Campbell,
Ian Stark,
I. Stark,
2014,
Sci. Comput. Program..
I. Stark,
I. Stark,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Robert M. Norton,
Brian Campbell,
Ian Stark,
2019,
Proc. ACM Program. Lang..
I. Stark,
R. Watson,
Peter Sewell,
2022,
ESOP.
Ian Stark,
Daniel D. Seaton,
Chris J. Banks,
2015,
CMSB.