Publisher
Springer International Publishing
Reference12 articles.
1. Böhm, C., Berarducci, A.: Automatic synthesis of typed lambda-programs on term algebras. Theor. Comput. Sci. 39, 135–154 (1985).
https://doi.org/10.1016/0304-3975(85)90135-5
2. Church, A.: The Calculi of Lambda-Conversion. Princeton University Press, Princeton (1941)
3. Claessen, K.: Parallel parsing processes. J. Funct. Program. 14(6), 741–757 (2004).
https://doi.org/10.1017/S0956796804005192
4. Lecture Notes in Computer Science;N Ghani,2004
5. Gonzalez, G.: Haskell Pipes library (2012).
http://hackage.haskell.org/package/pipes
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献