Olivier Danvy

发表

Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2008 .
Olivier Danvy, Mayer Goldberg, Mads Sig Ager, 2002, The Essence of Computation.
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2008 .
Olivier Danvy, O. Danvy, 2004, WRS.
Olivier Danvy, O. Danvy, 2007 .
Olivier Danvy, R. Kent Dybvig, Peter Thiemann, 2008, High. Order Symb. Comput..
Olivier Danvy, Pablo E. Martínez López, O. Danvy, 2003, ESOP.
Olivier Danvy, Julia L. Lawall, O. Danvy, 1994, LFP '94.
Olivier Danvy, Henning Korsholm Rohde, 2005 .
Olivier Danvy, Dariusz Biernacki, Malgorzata Biernacka, 2005, Log. Methods Comput. Sci..
Glynn Winskel, Olivier Danvy, Peter Ørbæk, 1999 .
Olivier Danvy, O. Danvy, 1991, Inf. Process. Lett..
Olivier Danvy, Ian Zerny, O. Danvy, 2013, PPDP.
Olivier Danvy, Charles Consel, O. Danvy, 1991, FPCA.
Olivier Danvy, Peter Thiemann, Ian Zerny, 2013, IFL 2013.
Olivier Danvy, Carolyn L. Talcott, 2002, High. Order Symb. Comput..
Olivier Danvy, 2010 .
Olivier Danvy, Charles Consel, O. Danvy, 1992, LISP Symb. Comput..
Olivier Danvy, Vincent Balat, O. Danvy, 2002, GPCE.
Olivier Danvy, Chantal Keller, Matthias Puech, 2014, TYPES.
Olivier Danvy, Christian Clausen, Moe Masuko, 2014, Theor. Comput. Sci..
Olivier Danvy, Daniel Damian, 2003, J. Funct. Program..
Olivier Danvy, O. Danvy, K. Millikin, 2006, Sci. Comput. Program..
Olivier Danvy, Frank Pfenning, Belmina Dzafic, 1999, Electron. Notes Theor. Comput. Sci..
Olivier Danvy, Kevin Millikin, 2007 .
Olivier Danvy, 1998 .
Olivier Danvy, Lasse Nielsen, 2002 .
Olivier Danvy, Charles Consel, O. Danvy, 1993 .
Olivier Danvy, J. Michael Spivey, O. Danvy, 2007, ICFP '07.
Olivier Danvy, Henning Korsholm Rohde, O. Danvy, 2006, Inf. Process. Lett..
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003, PPDP '03.
Olivier Danvy, Ulrik Pagh Schultz, O. Danvy, 2002, J. Funct. Log. Program..
Olivier Danvy, O. Danvy, 2001, TLCA.
Olivier Danvy, John Hatcliff, O. Danvy, 1993, MFPS.
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2005 .
Olivier Danvy, Charles Consel, O. Danvy, 1991, POPL '91.
Olivier Danvy, O. Danvy, 2002 .
Olivier Danvy, Andrzej Filinski, O. Danvy, 1992, Mathematical Structures in Computer Science.
Olivier Danvy, John Hatcliff, O. Danvy, 1997, Journal of Functional Programming.
Olivier Danvy, 1992, ESOP.
Olivier Danvy, Karoline Malmkjær, Nevin Hentze, 1996, CSUR.
Olivier Danvy, Bernd Grobauer, Morten Rhiger, 2001, New Generation Computing.
Olivier Danvy, 2012, SIGP.
Olivier Danvy, 1998, Fuji International Symposium on Functional and Logic Programming.
Olivier Danvy, Daniel Damian, O. Danvy, 2000, ICFP '00.
Olivier Danvy, Malgorzata Biernacka, Kristian Støvring, 2005, MFPS.
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2005, High. Order Symb. Comput..
Olivier Danvy, O. Danvy, 1998, Fuji International Symposium on Functional and Logic Programming.
Olivier Danvy, Daniel P. Friedman, John Franco, 1992 .
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2006 .
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003 .
Olivier Danvy, Dariusz Biernacki, O. Danvy, 2005, Journal of Functional Programming.
Julian Padget, Olivier Danvy, Peter Thiemann, 2006, High. Order Symb. Comput..
Olivier Danvy, Jacob Johannsen, O. Danvy, 2008, J. Comput. Syst. Sci..
Olivier Danvy, John Hatcliff, O. Danvy, 1996, Mathematical Structures in Computer Science.
Olivier Danvy, Andrzej Filinski, O. Danvy, 1989 .
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2003, PPoPP 2003.
Olivier Danvy, Ulrik Pagh Schultz, 2000, Theor. Comput. Sci..
Olivier Danvy, Carolyn L. Talcott, O. Danvy, 1993 .
Olivier Danvy, Malgorzata Biernacka, O. Danvy, 2005, Theor. Comput. Sci..
Julian Padget, Olivier Danvy, 2009, High. Order Symb. Comput..
Olivier Danvy, Ian A. Mason, 2004, High. Order Symb. Comput..
Olivier Danvy, Hayo Thielecke, 2007, High. Order Symb. Comput..
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2001, PPDP '01.
Olivier Danvy, Mads Sig Ager, Jan Midtgaard, 2003, Inf. Process. Lett..
Olivier Danvy, Ian Zerny, Kevin Millikin, 2010, FLOPS.
Olivier Danvy, Frank Pfenning, F. Pfenning, 1995 .
Olivier Danvy, Andrzej Filinski, 2001, Lecture Notes in Computer Science.
Olivier Danvy, 2019, J. Funct. Program..
Olivier Danvy, Jan Midtgaard, O. Danvy, 2011, Commun. ACM.
Olivier Danvy, O. Danvy, 1995, POPL '96.
Olivier Danvy, Ian Zerny, Jacob Johannsen, 2011, PEPM '11.
Olivier Danvy, Lasse Nielsen, 2001 .
Olivier Danvy, Dariusz Biernacki, O. Danvy, 2003, LOPSTR.
Olivier Danvy, Luca Chiarabini, O. Danvy, 2011, J. Formaliz. Reason..
Olivier Danvy, O. Danvy, 1992, Sci. Comput. Program..
Olivier Danvy, Phil Wadler, 2009, ICFP 2009.
Olivier Danvy, David A. Basin, Robert Harper, 2004, High. Order Symb. Comput..
Olivier Danvy, 2007, High. Order Symb. Comput..
Olivier Danvy, Carolyn L. Talcott, Pierre-Etienne Moreau, 2006, High. Order Symb. Comput..
Olivier Danvy, Ugo de'Liguoro, 2016 .
Olivier Danvy, Lasse Nielsen, 2001 .
Olivier Danvy, Carolyn L. Talcott, Pierre-Etienne Moreau, 2006 .
Anders Bondorf, Olivier Danvy, O. Danvy, 1991, Sci. Comput. Program..
Olivier Danvy, O. Danvy, 1998, ICALP.
Olivier Danvy, Julia L. Lawall, O. Danvy, 1992, LFP '92.
Olivier Danvy, 2011, GPCE '11.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1994, LISP Symb. Comput..
Olivier Danvy, Ian A. Mason, 2008, High. Order Symb. Comput..
Olivier Danvy, Carolyn L. Talcott, O. Danvy, 1999, High. Order Symb. Comput..
Olivier Danvy, Carolyn L. Talcott, 1999, High. Order Symb. Comput..
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2001, RULE@PLI.
Olivier Danvy, Dariusz Biernacki, Kevin Millikin, 2005, ACM Trans. Program. Lang. Syst..
Olivier Danvy, Kevin Millikin, 2006 .
Olivier Danvy, Karoline Malmkjær, 1994 .
Olivier Danvy, O. Danvy, 1996, Dagstuhl Seminar on Partial Evaluation.
Olivier Danvy, Vincent Balat, 1998, Types in Compilation.
Olivier Danvy, Dariusz Biernacki, Chung-chieh Shan, 2005, Sci. Comput. Program..
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2000, Inf. Process. Lett..
Olivier Danvy, Jacob Johannsen, 2008, WoLLIC.
Robert Glück, Olivier Danvy, Peter Thiemann, 1996 .
Olivier Danvy, John Hatcliff, 1992, WSA.
Gul Agha, José Meseguer, Olivier Danvy, 2011, Lecture Notes in Computer Science.
Olivier Danvy, Daniel Damian, 2003, J. Funct. Program..
Olivier Danvy, Jacob Johannsen, 2015 .
Olivier Danvy, Kristoffer Høgsbro Rose, Morten Rhiger, 2001, J. Funct. Program..
Olivier Danvy, O. Danvy, 2009, High. Order Symb. Comput..
Olivier Danvy, Torben Amtoft, Charles Consel, 2001 .
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1996 .
Olivier Danvy, John Hatcliff, 2003 .
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1995 .
Olivier Danvy, Carolyn L. Talcott, 2009, High. Order Symb. Comput..
Olivier Danvy, Frank Pfenning, Belmina Dzac, 1996 .
Olivier Danvy, John Hatcliff, O. Danvy, 1992, LOPL.
Olivier Danvy, Charles Consel, O. Danvy, 1993, POPL '93.
Olivier Danvy, Malgorzata Biernacka, 2005 .
Olivier Danvy, 1998, J. Funct. Program..
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2003, High. Order Symb. Comput..
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2003, PEPM '03.
Olivier Danvy, Dariusz Biernacki, 2003 .
Olivier Danvy, Mayer Goldberg, 1997, LISP Symb. Comput..
Olivier Danvy, 1987, PLDI 1987.
Olivier Danvy, Dariusz Biernacki, Kevin Millikin, 2005 .
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2000, FLOPS.
Olivier Danvy, Ulrik Pagh Schultz, O. Danvy, 1997, Theor. Comput. Sci..
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003 .
Olivier Danvy, Kristoffer Høgsbro Rose, O. Danvy, 1997, RTA.
Olivier Danvy, Olivier Danvy, 2004 .
Olivier Danvy, Peter Thiemann, Ian Zerny, 2013, IFL '13.
Olivier Danvy, Morten Rhiger, O. Danvy, 2000, FLOPS.
Olivier Danvy, Torben Amtoft, Charles Consel, 2001, The Essence of Computation.
Olivier Danvy, Daniel Damian, O. Danvy, 2001, SAIG.
Olivier Danvy, O. Danvy, 1994, IFIP Congress.
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2002, ASIA-PEPM '02.
Olivier Danvy, Mayer Goldberg, 2005, Fundam. Informaticae.
Olivier Danvy, Ian Zerny, O. Danvy, 2010, TOCL.
Takayasu Ito, Olivier Danvy, Carolyn L. Talcott, 2001, High. Order Symb. Comput..
Olivier Danvy, Karoline Malmkjær, O. Danvy, 1988, LISP and Functional Programming.
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2003, PEPM.
Olivier Danvy, Ian Zerny, 2010, LOPSTR.
Olivier Danvy, Kwangkeun Yi, Jung-taek Kim, 1998 .
Olivier Danvy, John Hatcliff, O. Danvy, 1994, POPL '94.
Olivier Danvy, Amr Sabry, 2002, High. Order Symb. Comput..
Olivier Danvy, Lasse R. Nielsen, 2003, Theor. Comput. Sci..
Olivier Danvy, Carolyn L. Talcott, 2009, High. Order Symb. Comput..
Takayasu Ito, Olivier Danvy, Carolyn L. Talcott, 2002, High. Order Symb. Comput..
Olivier Danvy, Carolyn L. Talcott, 2009, High. Order Symb. Comput..
Olivier Danvy, Carolyn L. Talcott, 1999, High. Order Symb. Comput..
Olivier Danvy, 2008, Advanced Functional Programming.
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2001, Theor. Comput. Sci..
Olivier Danvy, Daniel Damian, 2002, Log. J. IGPL.
Olivier Danvy, Zhe Yang, O. Danvy, 1998, ESOP.
Olivier Danvy, Mayer Goldberg, Mads Sig Ager, 2002 .
Olivier Danvy, 1998, Partial Evaluation.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1995, TOPL.
Olivier Danvy, Kevin Millikin, O. Danvy, 2003, IFL.
Olivier Danvy, René Vestergaard, O. Danvy, 1996, PLILP.
Olivier Danvy, Andrzej Filinski, O. Danvy, 1990, LISP and Functional Programming.
Olivier Danvy, Carolyn L. Talcott, 2000, High. Order Symb. Comput..
Olivier Danvy, Dariusz Biernacki, Chung-chieh Shan, 2005, Inf. Process. Lett..
Olivier Danvy, John Hatcliff, 1997, J. Funct. Program..
Olivier Danvy, Zhe Yang, 1999, ESOP.
Robert Glück, Olivier Danvy, Peter Thiemann, 1998, CSUR.
Olivier Danvy, Lasse R. Nielsen, Kevin Millikin, 2002, Journal of Functional Programming.
Olivier Danvy, Bernd Grobauer, Morten Rhiger, 2001 .
Wei-Ngan Chin, Olivier Danvy, Peter Thiemann, 2004, High. Order Symb. Comput..
Olivier Danvy, Bernd Grobauer, Morten Rhiger, 2001, SAIG.
Olivier Danvy, Charles Consel, 1989, Inf. Process. Lett..
Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen, 1990, Proceedings. 1990 International Conference on Computer Languages.
Olivier Danvy, Julia L. Lawall, O. Danvy, 1993, POPL '93.
Olivier Danvy, Mayer Goldberg, O. Danvy, 2001, ICFP '02.
Olivier Danvy, Kevin Millikin, O. Danvy, 2005, IFL.
Olivier Danvy, Carolyn L. Talcott, O. Danvy, 2000, High. Order Symb. Comput..
Olivier Danvy, Charles Consel, O. Danvy, 1990, ESOP.
Olivier Danvy, Jacob Johannsen, O. Danvy, 2015, LOPSTR.
Olivier Danvy, Malgorzata Biernacka, O. Danvy, 2005, TOCL.
Olivier Danvy, O. Danvy, 1988 .
Olivier Danvy, 1989, LIPO.
Olivier Danvy, Carolyn L. Talcott, O. Danvy, 2000, High. Order Symb. Comput..
Robert Glück, Olivier Danvy, Peter Thiemann, 2021 .
Olivier Danvy, Vincent Balat, 2002 .
Olivier Danvy, Dariusz Biernacki, Chung-chieh Shan, 2005 .
Olivier Danvy, Lasse R. Nielsen, O. Danvy, 2001 .
Olivier Danvy, Lasse Nielsen, 2000 .
Olivier Danvy, Dariusz Biernacki, Malgorzata Biernacka, 2005 .
Olivier Danvy, Karoline Malmkjær, O. Danvy, 1996 .
Olivier Danvy, Morten Rhiger, Kristoffer H. Rose, 2001 .
Olivier Danvy, Ulrik Pagh Schultz, 2002 .
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2003 .
Olivier Danvy, Mads Sig Ager, Henning Korsholm Rohde, 2002 .
Olivier Danvy, O. Danvy, Peter Urbak, 2017 .
Olivier Danvy, Julia Lawall, 1996 .
Olivier Danvy, Frank Pfenning, Belmina Dzafic, 1999 .
Olivier Danvy, Morten Rhiger, O. Danvy, 1998 .
Olivier Danvy, Lasse Nielsen, 2000 .
Olivier Danvy, Malgorzata Biernacka, Kristian Støvring, 2005 .