Pages: 2
Rating : ⭐⭐⭐⭐⭐
Price: $10.99
Page 1 Preview
marc bezem and jan friso groote

Marc bezem and jan friso groote

Arnold, Ken and James Gosling. The Java Programming Language. Addison Wesley, 1996.

Arnold, Ken, Ann Wollrath, Bryan O'Sullivan, Robert Scheifler, and Jim Waldo. The Jini specification. Addison-Wesley, Reading, MA, USA, 1999.

Augustsson, Lennart. A compiler for Lazy ML. In ACM Symposium on Lisp and Functional Programming (LFP), Austin, Texas, pages 218–227, August 1984.

Augustsson, Lennart. Cayenne — a language with dependent types. In International Conference on Functional Programming (ICFP), Baltimore, Maryland, USA, pages 239–250, 1998.

Bainbridge, E. Stewart, Peter J. Freyd, Andre Scedrov, and Philip J. Scott. Functorial polymorphism. Theoretical Computer Science, 70(1):35–64, 1990. Corrigendum in TCS 71(3), 431.

Baldan, Paolo, Giorgio Ghelli, and Alessandra Raffaetà. Basic theory of F-bounded quantification. Information and Computation, 153(1):173–237, 1999.

Barras, Bruno, Samuel Boutin, Cristina Cornes, Judicael Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Saibi, and Benjamin Werner. The Coq proof assistant reference manual : Version 6.1. Technical Report RT-0203, Inria (Institut National de Recherche en Informatique et en Automatique), France, 1997.

Barwise, Jon and Lawrence Moss. Vicious Circles: On the Mathematics of Non-wellfounded Phenomena. Cambridge University Press, 1996.

You are viewing 1/3rd of the document.Purchase the document to get full access instantly

Immediately available after payment
Both online and downloadable
No strings attached
How It Works
Login account
Login Your Account
Place in cart
Add to Cart
send in the money
Make payment
Document download
Download File

Uploaded by : Linda Ryan MD

PageId: ELIC907BDF