2 citations found. Retrieving documents...
J. Garrigue. Relaxing the value restriction. In International Symposium on Functional and Logic Programming, Nara, LNCS 2998, Apr. 2004.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Type-Safe Distributed Programming for OCaml - John Billings Peter   (Correct)

No context found.

J. Garrigue. Relaxing the value restriction. In International Symposium on Functional and Logic Programming, Nara, LNCS 2998, Apr. 2004.


The Extension of ML with Hypothetical Views for Discovery.. - Sumii, Bannai (2003)   (Correct)

No context found.

Jacques Garrigue. Relaxing the value restriction. http://wwwfun.kurims. kyoto-u.ac.jp/~garrigue/papers/, 2003.

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