G. Bell'e, C. B. Jay, and E. Moggi. Functorial ML. In PLILP '96, volume 1140 of LNCS, pages 32--46. Springer Verlag, 1996. TR SOCS-96.08, and accepted for J. Functional Programming. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Non-uniform Recursion: The solution (minimal sorting for fold) - Wehr (2000) (Correct)
Polytypic Values Possess Polykinded Types - Hinze (2000) (38 citations) (Correct)
Derivable Type Classes - Hinze, Jones (2000) (36 citations) (Correct)
Covariant Types - Barry Jay School (1997) Self-citation (Jay) (Correct)
Functorial Lambda-Calculus - Jay School Of Self-citation (Jay) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC