Making a faster Curry with extensional types-Reference-Cited by-同舟云学术

Making a faster Curry with extensional types

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019
language:
Short-container-title:

Author:

Downen Paul¹,Sullivan Zachary¹,Ariola Zena M.¹,Peyton Jones Simon²

Affiliation:

1. University of Oregon, USA

2. Microsoft Research, UK

Funder

National Science Foundation

Publisher

ACM Press

Reference25 articles.

1. Arvind and Kattamuri Ekanadham. 1988. Future Scientific Programming on Parallel Machines. J. Parallel Distrib. Comput. 5, 5 (1988), 460–493.

2. Maximilian C. Bolingbroke and Simon L. Peyton Jones. 2009. Types Are Calling Conventions. In Proceedings of the 2Nd ACM SIGPLAN Symposium on Haskell (Haskell ’09). 1–12.

3. Joachim Breitner. 2014. Call Arity. In Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers. 34–50.

4. Guy Cousineau, Pierre-Louis Curien, and Michel Mauny. 1985. The Categorical Abstract Machine. In Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings. 50–64.

5. Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx. 1997. A New Deconstructive Logic: Linear Logic. Journal of Symbolic Logic 62, 3 (1997), 755—-807.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Call-by-Unboxed-Value;Proceedings of the ACM on Programming Languages;2024-08-15

2. A Computational Understanding of Classical (Co)Recursion;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08

3. Kinds are calling conventions;Proceedings of the ACM on Programming Languages;2020-08-02

4. Partial type constructors: or, making ad hoc datatypes less ad hoc;Proceedings of the ACM on Programming Languages;2020-01