Author:
Jeuring Johan,Swierstra Doaitse
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series, pages 5–42. Springer-Verlag, 1987.
2. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
3. J.H. Fasel, P. Hudak, S. Peyton Jones, and P. Wadler. Sigplan Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN notices, 27(5), 1992.
4. Andy Gill and Simon Marlow. Happy manual. Published on comp.lang.functional, 1993.
5. J. Jeuring. Theories for Algorithm Calculation. PhD thesis, Utrecht University, 1993.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Regular algebra applied to language problems;The Journal of Logic and Algebraic Programming;2006-02
2. Fusion on Languages;Programming Languages and Systems;2001
3. Abstract interpretation of algebraic polynomial systems (Extended abstract);Algebraic Methodology and Software Technology;1997
4. Bottom-up grammar analysis — A functional formulation;Programming Languages and Systems — ESOP '94;1994