A verified framework for higher-order uncurrying optimizations-Reference-Cited by-同舟云学术

A verified framework for higher-order uncurrying optimizations

Published:2009-09 Issue:3 Volume:22 Page:199-231
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Dargaye Zaynah,Leroy Xavier

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-010-9050-z.pdf

Reference38 articles.

1. Abadi, M., Cardelli, L., Curien, P.L., Lévy, J.J.: Explicit substitutions. J. Funct. Program. 1(4), 375–416 (1991)

2. Acar, U.A., Ahmed, A., Blume, M.: Imperative self-adjusting computation. In: 35th Symposium Principles of Programming Languages, pp. 309–322. ACM, New York (2008)

3. Studies in Logics and the Foundations of Mathematics;P. Aczel,1997

4. Ahmed, A.J.: Semantics of types for mutable state. Ph.D. thesis,. Princeton University (2004)

5. Lecture Notes in Computer Science;A.J. Ahmed,2006

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

1. Type-Based Uncurrying for Unknown Function Calls;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29

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

3. Making a faster Curry with extensional types;Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019;2019

4. Verifying efficient function calls in CakeML;Proceedings of the ACM on Programming Languages;2017-08-29

5. A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation;Procedia Computer Science;2011