Author:
Sánchez-Gil Lidia,Hidalgo-Herrero Mercedes,Ortega-Mallén Yolanda
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aydemir, B.E., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: ACM Symposium on Principles of Programming Languages, POPL 2008, pp. 3–15. ACM Press (2008)
2. Baker-Finch, C., King, D., Trinder, P.W.: An operational semantics for parallel lazy evaluation. In: ACM-SIGPLAN International Conference on Functional Programming (ICFP 2000), Montreal, Canada, pp. 162–173, September 2000
3. Studies in Logic and the Foundations of Mathematics;HP Barendregt,1984
4. Bertot, Y.: Coq in a hurry. CoRR, abs/cs/0603118 (2006)
5. Breitner, J.: The correctness of launchbury’s natural semantics for lazy evaluation. Archive of Formal Proofs, January 2013. Formal proof development, Amended version May 2014.
http://afp.sf.net/entries/Launchbury.shtml
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献