Adapting combinator and SECD machines to display snapshots of functional computations
暂无分享,去创建一个
[1] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..
[2] D. A. Turner,et al. Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.
[3] Cordelia V. Hall,et al. Debugging in a side effect free programming environment , 1985, ACM SIGPLAN Notices.
[4] Silvio Romero de Lemos Meira,et al. Optimized Combinatoric Code for Applicative Language Implementation , 1984, Symposium on Programming.
[5] Peter Henderson,et al. Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.
[6] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.
[7] Henry Lieberman,et al. Steps toward better debugging tools for LISP , 1984, LFP '84.
[8] Simon L. Peyton Jones,et al. Yacc in sasl — an exercise in functional programming , 1985, Softw. Pract. Exp..
[9] R. J. M. Hughes,et al. Super-combinators a new implementation method for applicative languages , 1982, LFP '82.
[10] Alan Mycroft,et al. Abstract interpretation and optimising transformations for applicative programs , 1982 .