soutaro's library 26 articles Export

	Type Inference with Constrained Types [My Copy] In Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL 4) (1997) by Martin Sulzmann, Martin Odersky, Martin Wehr posted to no-tag by soutaro on 2006-10-12 10:03:03 as along with 1 person pedagand
	Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings [My Copy] In ESOP, Vol. 1381 (1998) edited by Chris Hankin posted to bibtex-import by soutaro on 2006-10-12 10:02:11 as
	From Classes to Objects via Subtyping. [My Copy] In ESOP, Vol. 1381 (1998), pp. 200-220. by Didier Rémy edited by Chris Hankin posted to bibtex-import by soutaro on 2006-10-12 10:02:11 as
	Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 [My Copy] In WWW (2005) edited by Allan Ellis, Tatsuya Hagino posted to bibtex-import by soutaro on 2006-10-12 10:01:21 as
	Static approximation of dynamically generated Web pages. [My Copy] In WWW (2005), pp. 432-441. by Yasuhiko Minamide edited by Allan Ellis, Tatsuya Hagino posted to bibtex-import by soutaro on 2006-10-12 10:01:21 as
	Compiling standard ML to Java bytecodes [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 129-140. by Nick Benton, Andrew Kennedy, George Russell posted to no-tag by soutaro on 2006-10-12 10:00:07 as along with 1 person rwtodd
	Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers [My Copy] In TYPES, Vol. 3085 (2004) edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani posted to bibtex-import by soutaro on 2006-10-12 09:59:27 as
	Type Inference for Nested Self Types. [My Copy] In TYPES, Vol. 3085 (2003), pp. 99-114. by Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani posted to bibtex-import by soutaro on 2006-10-12 09:59:27 as
	ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings [My Copy] In ECOOP, Vol. 3586 (2005) edited by Andrew P. Black posted to bibtex-import by soutaro on 2006-10-12 09:58:40 as
	Towards Type Inference for JavaScript. [My Copy] In ECOOP, Vol. 3586 (2005), pp. 428-452. by Christopher Anderson, Paola Giannini, Sophia Drossopoulou edited by Andrew P. Black posted to bibtex-import by soutaro on 2006-10-12 09:58:40 as
	A compilation method for ML-style polymorphic record calculi [My Copy] In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 154-165. by Atsushi Ohori posted to no-tag by soutaro on 2006-10-12 09:57:37 as along with 1 person and 1 group dherman NU-PRL
	Recursive subtyping revealed: (functional pearl) [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 221-231. by Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce posted to no-tag by soutaro on 2006-10-12 09:56:36 as
	TYPE INFERENCE WITH DEFERRAL [My Copy] by Michal Moskal posted to no-tag by soutaro on 2006-10-12 09:55:54 as
	Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings [My Copy] In FLOPS, Vol. 2998 (2004) edited by Yukiyoshi Kameyama, Peter J. Stuckey posted to no-tag by soutaro on 2006-10-12 09:54:07 as
	Relaxing the Value Restriction. [My Copy] In FLOPS, Vol. 2998 (2004), pp. 196-213. by Jacques Garrigue edited by Yukiyoshi Kameyama, Peter J. Stuckey posted to no-tag by soutaro on 2006-10-12 09:54:07 as
	The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings [My Copy] In APLAS (2001) posted to no-tag by soutaro on 2006-10-12 09:52:41 as
	Simple Type Inference for Structural Polymorphism. [My Copy] In APLAS (2001), pp. 329-343. by Jacques Garrigue posted to no-tag by soutaro on 2006-10-12 09:52:41 as
	Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B\aastad, Sweden, May 24-30, 1995, Tutorial Text [My Copy] In Advanced Functional Programming, Vol. 925 (1995) edited by Johan Jeuring, Erik Meijer posted to no-tag by soutaro on 2006-10-12 09:50:39 as
	Functional Programming with Overloading and Higher-Order Polymorphism. [My Copy] In Advanced Functional Programming, Vol. 925 (1995), pp. 97-136. by Mark P. Jones edited by Johan Jeuring, Erik Meijer posted to no-tag by soutaro on 2006-10-12 09:50:39 as
	Mixing the Objective Caml and C# Programming Models in the .NET Framework [My Copy] In Programming with OO Languages (MPOOL'04) (2004) by Emmanuel Chailloux, Grégoire Henry posted to no-tag by soutaro on 2006-10-12 09:47:57 as
	Simple Imperative Polymorphism [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 343-355. by Andrew K. Wright posted to no-tag by soutaro on 2006-10-12 09:44:30 as along with 2 people tautologico gkuan
	Type inference with polymorphic recursion [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 2. (April 1993), pp. 253-289. by Fritz Henglein posted to no-tag by soutaro on 2006-10-12 09:43:09 as along with 3 people creswick dagelee osh
	Polymorphic Type Schemes and Recursive Definitions [My Copy] In Proceedings of the 6th Colloquium on International Symposium on Programming (1984), pp. 217-228. by Alan Mycroft posted to no-tag by soutaro on 2006-10-12 09:42:20 as
	Type Inference for Records in a Natural Extension of ML. [My Copy] In Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design (1993) by Didier Rémy edited by Carl A. Gunter, John C. Mitchell posted to no-tag by soutaro on 2006-01-31 11:26:52 as along with 1 person msakai
	Objective ML: An Effective Object-Oriented Extension to ML. [My Copy] TAPOS, Vol. 4, No. 1. (1998), pp. 27-50. by Didier Rémy, Jerome Vouillon posted to no-tag by soutaro on 2006-01-31 11:21:50 as
	Typing Record Concatenation for Free [My Copy] In Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. (1993), pp. 166-176. by Didier Remy posted to no-tag by soutaro on 2006-01-31 11:13:05 as along with 1 person msakai

Note: You may cite this page as: http://www.citeulike.org/user/soutaro

soutaro's library 26 articles Export

soutaro's tags