Andrzej Filinski
发表
Olivier Danvy,
Andrzej Filinski,
2001
.
Andrzej Filinski,
2010,
POPL '10.
Peter Dybjer,
Andrzej Filinski,
Andrzej Filinski,
2000,
APPSEM.
Andrzej Filinski,
Kristian Støvring,
2007,
ICFP '07.
Andrzej Filinski,
Andrzej Filinski,
2001,
TLCA.
Andrzej Filinski,
1989,
Category Theory and Computer Science.
Andrzej Filinski,
Anders Starcke Henriksen,
2009
.
Olivier Danvy,
Andrzej Filinski,
O. Danvy,
1992,
Mathematical Structures in Computer Science.
Andrzej Filinski,
2006,
MSFP@MPC.
Olivier Danvy,
Andrzej Filinski,
O. Danvy,
1989
.
Olivier Danvy,
Andrzej Filinski,
2001,
Lecture Notes in Computer Science.
Andrzej Filinski,
Andrzej Filinski,
1994,
LISP Symb. Comput..
Olivier Danvy,
Carolyn L. Talcott,
Pierre-Etienne Moreau,
2006,
High. Order Symb. Comput..
Olivier Danvy,
Carolyn L. Talcott,
Pierre-Etienne Moreau,
2006
.
Andrzej Filinski,
Andrzej Filinski,
1999,
POPL '99.
Andrzej Filinski,
Henning Korsholm Rohde,
2004,
FoSSaCS.
Andrzej Filinski,
Ulrik Rasmussen,
2013,
LFMTP '13.
Andrzej Filinski,
Andrzej Filinski,
1999,
PPDP.
Andrzej Filinski,
Frederik M. Madsen,
2016,
FHPC@ICFP.
Andrzej Filinski,
Henning Korsholm Rohde,
2005,
RAIRO Theor. Informatics Appl..
Brian Vinter,
Ken Friis Larsen,
Fritz Henglein,
2011,
Trends in Functional Programming.
Andrzej Filinski,
Frederik M. Madsen,
2013,
FHPC '13.
Andrzej Filinski,
1992,
POPL '92.
Olivier Danvy,
Andrzej Filinski,
2001
.
Andrzej Filinski,
Andrzej Filinski,
1994,
POPL '94.
Olivier Danvy,
Andrzej Filinski,
O. Danvy,
1990,
LISP and Functional Programming.
Andrzej Filinski,
2007,
Theor. Comput. Sci..
Andrzej Filinski,
Anders Starcke Henriksen,
Tom Hvitved,
2009,
GI Jahrestagung.
Andrzej Filinski,
2011,
ICFP '11.
Andrzej Filinski,
2003
.
Andrzej Filinski,
EvaluationPeter Dybjer,
2002
.
Andrzej Filinski,
Henning Korsholm Rohde,
2003
.
Andrzej Filinski,
Henning Korsholm Rohde,
2005
.