Jeremy Yallop

发表

Jeremy Yallop, David Kaloper-Mersinjak, 2016, TyDe@ICFP.

Philip Wadler, Jeremy Yallop, Sam Lindley, 2010, J. Funct. Program..

Jeremy Yallop, 2016, PEPM.

Damien Doligez, Xavier Leroy, Jeremy Yallop, 2015 .

Philip Wadler, Jeremy Yallop, Sam Lindley, 2007 .

Philip Wadler, Jeremy Yallop, Sam Lindley, 2006 .

Jeremy Yallop, Leo White, J. Yallop, 2014, FLOPS.

Jeremy Yallop, Gabriel Scherer, Alban Reynaud, 2021, Proc. ACM Program. Lang..

Jeremy Yallop, Anil Madhavapeddy, David Sheets, 2018, Sci. Comput. Program..

Robert Atkey, Jeremy Yallop, Sam Lindley, 2009, Haskell.

Philip Wadler, Jeremy Yallop, Sam Lindley, 2011, Electron. Notes Theor. Comput. Sci..

David Scott, Jeremy Yallop, Richard Mortier, 2019, ArXiv.

Philip Wadler, Jeremy Yallop, 2008 .

Jeremy Yallop, Stephen Dolan, 2017, ML/OCaml.

Philip Wadler, Jeremy Yallop, Sam Lindley, 2006, FMCO.

Jeremy Yallop, Runhang Li, J. Yallop, 2019, ML/OCaml.

Philip Wadler, Jeremy Yallop, Sam Lindley, 2008, APLAS.

Jeremy Yallop, J. Yallop, 2007, ML '07.

Jeremy Yallop, Anil Madhavapeddy, David Sheets, 2016, FLOPS.

Jeremy Yallop, Leo White, Frédéric Bour, 2014, ML/OCaml.

Ted Briscoe, Anna Korhonen, Jeremy Yallop, 2005, ACL.

Ulrik Pagh Schultz, Jeremy Yallop, J. Yallop, 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.

Jeremy Yallop, Gabriel Scherer, Alban Reynaud, 2018, ArXiv.

Jeremy Yallop, Neelakantan R. Krishnaswami, J. Yallop, 2019, PLDI.

Ohad Kammar, Jeremy Yallop, Tamara von Glehn, 2018, Proc. ACM Program. Lang..

Jeremy Yallop, Gabriel Scherer, Alban Reynaud, 2020 .

Jeremy Yallop, J. Yallop, 2017, Proc. ACM Program. Lang..

Hai Liu, Jeremy Yallop, J. Yallop, 2016, Haskell.

Martin Hofmann, Andrej Bauer, Jeremy Yallop, 2016, Dagstuhl Reports.

Pierre Chambart, Damien Doligez, Yann Régis-Gianas, 2015 .

Jeremy Yallop, Oleg Kiselyov, O. Kiselyov, 2019, PEPM@POPL.

Jeremy Yallop, J. Yallop, 2010 .

Jeremy Yallop, Leo White, 2019, Proc. ACM Program. Lang..

Philip Wadler, Jeremy Yallop, Sam Lindley, 2008 .