Principal Researcher
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
Published by Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
Published by Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms")
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
Published by Microsoft
Extended version of the ICFP'23 publication
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
MSR-TR-2022-17 | July 2022
Published by Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
Published by Microsoft
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by Microsoft
Mar 15, 2022, v2
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, Vol 5(ICFP): pp. 71
doi: 10.1145/3473576
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
Published by Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
Published by Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
Published by Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
Published by Microsoft
Extended version of the ICFP'20 article.
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
Published by Microsoft
Submitted to ICFP'19
MSR-TR-2018-10 | April 2018
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
Editor(s): Chang, Bor-Yuh Evan
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
MSR-TR-2017-23 | June 2017
MSR-TR-2017-21 | May 2017
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
MSR-TR-2016-29 | August 2016
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Mathematically Structured Functional Programming 2014 | March 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
MSR-TR-2013-79 | August 2013
Published by Microsoft
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
MSR-TR-2010-147 | November 2010
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
MSR-TR-2008-55 | March 2008
MSR-TR-2007-118 | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
UU-CS-2004-51 | December 2004
UTCS Technical Report
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
November 2003
PhD Thesis: Dept. of Computer Science, Universiteit Utrecht | November 2003
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
July 2003
Short note about division definitions in programming languages
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
Published by Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
Published by Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms")
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
Published by Microsoft
Extended version of the ICFP'23 publication
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
MSR-TR-2022-17 | July 2022
Published by Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
Published by Microsoft
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by Microsoft
Mar 15, 2022, v2
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, Vol 5(ICFP): pp. 71
doi: 10.1145/3473576
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
Published by Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
Published by Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
Published by Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
Published by Microsoft
Extended version of the ICFP'20 article.
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
Published by Microsoft
Submitted to ICFP'19
MSR-TR-2018-10 | April 2018
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
Editor(s): Chang, Bor-Yuh Evan
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
MSR-TR-2017-23 | June 2017
MSR-TR-2017-21 | May 2017
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
MSR-TR-2016-29 | August 2016
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Mathematically Structured Functional Programming 2014 | March 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
MSR-TR-2013-79 | August 2013
Published by Microsoft
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
MSR-TR-2010-147 | November 2010
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
MSR-TR-2008-55 | March 2008
MSR-TR-2007-118 | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
November 2003
PhD Thesis: Dept. of Computer Science, Universiteit Utrecht | November 2003
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
MSR-TR-2010-147 | November 2010
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
UU-CS-2004-51 | December 2004
UTCS Technical Report
UU-CS-2004-51 | December 2004
UTCS Technical Report
July 2003
Short note about division definitions in programming languages
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
Published by Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
Published by Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms")
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
Published by Microsoft
Extended version of the ICFP'23 publication
MSR-TR-2022-17 | July 2022
Published by Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
Published by Microsoft
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by Microsoft
Mar 15, 2022, v2
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
Published by Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
Published by Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
Published by Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
Published by Microsoft
Extended version of the ICFP'20 article.
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
Published by Microsoft
Submitted to ICFP'19
MSR-TR-2018-10 | April 2018
MSR-TR-2017-23 | June 2017
MSR-TR-2017-21 | May 2017
MSR-TR-2016-29 | August 2016
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
MSR-TR-2013-79 | August 2013
Published by Microsoft
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
MSR-TR-2010-147 | November 2010
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
MSR-TR-2008-55 | March 2008
MSR-TR-2007-118 | October 2007
UU-CS-2004-51 | December 2004
UTCS Technical Report
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
Editor(s): Chang, Bor-Yuh Evan
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
Mathematically Structured Functional Programming 2014 | March 2014
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, Vol 5(ICFP): pp. 71
doi: 10.1145/3473576
November 2003
PhD Thesis: Dept. of Computer Science, Universiteit Utrecht | November 2003
July 2003
Short note about division definitions in programming languages
