Sjaak Smetsers
发表
Renske Smetsers-Weeda,
Sjaak Smetsers,
2017,
WiPSCE.
Erik Barendsen,
Sjaak Smetsers,
E. Barendsen,
1993,
Dagstuhl Seminar on Graph Transformations in Computer Science.
Marinus J. Plasmeijer,
Sjaak Smetsers,
Arjen van Weelden,
2009,
Electron. Notes Theor. Comput. Sci..
Sjaak Smetsers,
Eric Nöcker,
1993,
J. Funct. Program..
Steffen van Bakel,
Sjaak Smetsers,
Simon Brock,
1992
.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Leonard Lensink,
2011,
Sci. Comput. Program..
Sjaak Smetsers,
Artem Alimarine,
2005,
PADL.
Erik Barendsen,
Sjaak Smetsers,
2013,
The Beauty of Functional Code.
Erik Barendsen,
Sjaak Smetsers,
1995,
Functional Programming.
Sjaak Smetsers,
Ken Madlener,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
2008,
ERCIM News.
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Sjaak Smetsers,
1991,
PARLE.
Sjaak Smetsers,
Artem Alimarine,
S. Smetsers,
2004,
MPC.
Bart Jacobs,
Ronny Wichers Schreur,
Sjaak Smetsers,
2006,
Formal Aspects of Computing.
Ruurd Kuiper,
Sjaak Smetsers,
Harrie Passier,
2019,
CSERC.
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Sjaak Smetsers,
1990,
CTRS.
Sjaak Smetsers,
Leonard Lensink,
2006
.
Erik Barendsen,
Sjaak Smetsers,
2007
.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Leonard Lensink,
2009,
FMICS.
Marko C. J. D. van Eekelen,
Manu Drijvers,
Sjaak Smetsers,
2013,
NASA Formal Methods.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Ken Madlener,
2013,
SBLP.
Bart Jacobs,
Marko C. J. D. van Eekelen,
Erik Poll,
2007,
Trends in Functional Programming.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
2015,
Comput. Lang. Syst. Struct..
Sjaak Smetsers,
Marko van Eekelen,
Marc Schoolderman,
2020,
ArXiv.
Erik Barendsen,
Sjaak Smetsers,
1995,
Electron. Notes Theor. Comput. Sci..
Sjaak Smetsers,
M.C.J.D. van Eekelen,
2014
.
Hendrik Tews,
Sjaak Smetsers,
Marko van Eekelen,
2009,
FMICS 2009.
Steffen van Bakel,
Sjaak Smetsers,
Simon Brock,
1992,
CAAP.
Marinus J. Plasmeijer,
Sjaak Smetsers,
Eric Nöcker,
1991,
FPCA.
Erik Barendsen,
Martijn Stegeman,
Sjaak Smetsers,
2014,
Koli Calling.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Ken Madlener,
2010,
ICFEM.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
2012,
Trends in Functional Programming.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Leonard Lensink,
2012,
NASA Formal Methods.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Ken Madlener,
2015,
WPTE@RTA/TLCA.
Erik Barendsen,
Sjaak Smetsers,
1995,
PLILP.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Leonard Lensink,
2007,
FMICS.
Sjaak Smetsers,
Arjen van Weelden,
S. Smetsers,
2006
.
Marko C. J. D. van Eekelen,
Hendrik Tews,
Sjaak Smetsers,
2009,
FMICS.
Sjaak Smetsers,
2010,
TMFCS 2010.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Ken Madlener,
2011,
SOS.
Marko C. J. D. van Eekelen,
Herman Geuvers,
Robbert Krebbers,
2019,
ArXiv.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Marc Schoolderman,
2019,
CSERC.
Erik Barendsen,
Sjaak Smetsers,
1996,
Math. Struct. Comput. Sci..
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Sjaak Smetsers,
1996,
CSL.
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Erik Barendsen,
1993,
Dagstuhl Seminar on Graph Transformations in Computer Science.
Erik Barendsen,
Sjaak Smetsers,
E. Barendsen,
1993,
FSTTCS.
Marinus J. Plasmeijer,
Sjaak Smetsers,
Arjen van Weelden,
2005,
IFL.
Erik Barendsen,
Martijn Stegeman,
Sjaak Smetsers,
2016,
Koli Calling.
Erik Poll,
Sjaak Smetsers,
Bart Jacobs,
2007
.
Tanja Lange,
Peter Schwabe,
Daniel J. Bernstein,
2014,
LATINCRYPT.
Marinus J. Plasmeijer,
Sjaak Smetsers,
M.C.J.D. van Eekelen,
1991
.
Sjaak Smetsers,
John H. G. van Groningen,
Diederik van Arkel,
2002,
IFL.
Marko C. J. D. van Eekelen,
Sjaak Smetsers,
Leonard Lensink,
2012,
IFM.
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Sjaak Smetsers,
2005,
Haskell '05.
Erik Barendsen,
Sjaak Smetsers,
1999
.
Sjaak Smetsers,
Marko van Eekelen,
Marc Schoolderman,
2021,
IACR Cryptol. ePrint Arch..
Rinus Plasmeijer,
Sjaak Smetsers,
Marko van Eekelen,
1993
.
Rinus Plasmeijer,
Yoshihito Toyama,
Sjaak Smetsers,
1993
.