M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003.
αProlog: A Logic Programming Language with Names.. - Cheney, Urban (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003), pages 263--274, Uppsala, Sweden, 2003. ACM Press.
Relating Nominal and Higher-Order Pattern Unification - Cheney (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003), pages 263--274, Uppsala, Sweden, 2003. ACM Press.
Equivariant Unification - Cheney (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003), pages 263--274, Uppsala, Sweden, 2003. ACM Press.
Scrap your Nameplate - Functional Pearl - Cheney (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003.
Alpha-Prolog: A Logic Programming Language with Names.. - Cheney, Urban (2004) (Correct)
No context found.
M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programmming with binders made simple. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP 2003), pages 263--274, Uppsala, Sweden, 2003. ACM Press.
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