mcclurmc's oop [24 articles] Export

Recent papers added to mcclurmc's library classified by the tag oop. You can also see everyone's oop.

	Ownership Types for Object Encapsulation [My Copy] In In Principles of Programming Languages (POPL (2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to programming-language-design ownership-types oop java compilers by mcclurmc on 2009-09-18 02:58:08 as
	Synthesizing object-oriented and functional design to promote re-use [My Copy] In In European Conference on Object-Oriented Programming, Vol. 1445 (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel posted to monads oop programming-language-design by mcclurmc on 2009-06-04 22:18:51 as
	Object-Oriented Software Construction (Book/CD-ROM) (2nd Edition) [My Copy] (21 March 2000) by Bertrand Meyer posted to oop by mcclurmc on 2009-05-26 21:53:23 as along with 12 people mertnuhoglu hamish plaugg guyomarj zemeigo wnpx leonardo anitabanerji cekay francolq mldechert chunchung
	Applying Traits to the Smalltalk Collection Classes [My Copy] In In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (2003), pp. 47-64. by Andrew P. Black, Nathanael Schärli posted to oop traits by mcclurmc on 2009-05-26 21:52:29 as
	Strong Typing of Object-Oriented Languages Revisited [My Copy] In In OOPSLA-ECOOP '90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10, Vol. 25 (1990), pp. 140-150. by Ole L. Madsen, Boris Magnusson posted to oop type-theory by mcclurmc on 2009-05-26 21:51:54 as
	Traits: The Formal Model [My Copy] Institut für Informatik, Universität (2002) by Nathanael Schärli, Oscar Nierstrasz, Stéphane Ducasse, Roel Wuyts, Andrew Black posted to oop traits by mcclurmc on 2009-05-26 21:51:27 as
	Mixin-based inheritance [My Copy] In OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (1990), pp. 303-311. by Gilad Bracha, William Cook posted to oop type-theory by mcclurmc on 2009-05-22 15:09:28 as along with 1 person martinrytter
	Mixin Modules and Computational Effects [My Copy] (2003) by D. Ancona, S. Fagorzi, E. Moggi, E. Zucca posted to oop type-theory by mcclurmc on 2009-05-22 15:05:37 as
	Traits: Composable Units of Behavior [My Copy] In CSE 02-012 (25 November 2002) by Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz, Andrew Black posted to oop programming-language-design type-theory by mcclurmc on 2009-05-21 22:05:47 as
	Behavioral Subtyping Using Invariants and Constraints [My Copy] (July 1999) by Barbara H. Liskov, Jeannette M. Wing posted to inheritance oop type-theory by mcclurmc on 2009-05-14 13:21:30 as
	Ownership Types for Object Encapsulation [My Copy] In In Principles of Programming Languages (POPL) (2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to oop type-theory by mcclurmc on 2009-05-11 20:45:04 as
	Reusable Monadic Semantics of Object Oriented Programming Languages [My Copy] by Labra J. E. Gayo, Cueva J. M. Lovelle, Luengo M. C. Diez, Cernuda posted to monads oop semantics by mcclurmc on 2008-04-28 15:13:28 as along with 1 person and 1 group oliverh Lambda the Ultimate
	Featherweight Java: A Minimal Core Calculus for Java and GJ [My Copy] In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146. by Atshushi Igarashi, Benjamin Pierce, Philip Wadler edited by Loren Meissner posted to oop programming-language-design by mcclurmc on 2008-03-27 17:03:05 as along with 5 people and 1 group joker13 samth yang KarlKlose sjrogers NU-PRL
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted to haskell oop by mcclurmc on 2008-02-21 02:16:00 as along with 5 people and 1 group greenrd voigt AndreasSchropp mgran jimburton SRG_at_UCD
	Modular type classes [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 63-70. by Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller posted to oop type-theory by mcclurmc on 2008-01-16 15:29:24 as along with 1 group ConcertRG
	Higher Order Messaging [My Copy] In DLS '05: Proceedings of the 2005 conference on Dynamic languages symposium (2005), pp. 23-34. by Marcel Weiher, Stéphane Ducasse posted to message-passing oop by mcclurmc on 2007-12-15 18:02:53 as along with 1 person alombide
	Inheritance is not subtyping [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135. by William R. Cook, Walter Hill, Peter S. Canning posted to inheritance oop type-theory by mcclurmc on 2007-12-14 15:52:31 as along with 5 people and 2 groups emiliorp dherman amorkan lyongu ryanc Security in SOA NU-PRL
	Metaprogramming with Traits [My Copy] ECOOP 2007 – Object-Oriented Programming In ECOOP 2007 – Object-Oriented Programming, Vol. 4609/2007 (2007), pp. 373-398. by John Reppy, Aaron Turon posted to java metaprogramming oop traits type-theory by mcclurmc on 2007-12-14 15:48:27 as along with 1 person ama08r
	A Theory of Objects [My Copy] (1996) by Martin Abadi, Luca Cardelli posted to functional-programming oop type-theory by mcclurmc on 2007-12-14 14:26:32 as along with 3 people and 1 group draganigajic gugamar fheintz Lambda the Ultimate
	Generalized algebraic data types and object-oriented programming [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications (2005), pp. 21-40. by Andrew Kennedy, Claudio V. Russo posted to gadt generics oop type-theory by mcclurmc on 2007-12-13 16:12:34 as along with 3 people MattOConnor hannes wadler
	Gradual Typing for Objects [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 2-27. by Jeremy Siek, Walid Taha posted to oop type-theory by mcclurmc on 2007-12-13 16:03:20 as along with 2 people ama08r jsiek
	Object-Oriented Type Inference [My Copy] SIGPLAN Notices In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Vol. 26, No. 11. (1991) by Jens Palsberg, Michael I. Schwartzbach edited by Norman Meyrowitz posted to oop type-inference type-theory by mcclurmc on 2007-12-13 15:50:48 as along with 2 people and 1 group dherman cdiggins NU-PRL
	Higher-order + Polymorphic = Reusable [My Copy] (May 1997) by Simon Thompson posted to c-plus-plus functional-programming generics haskell oop type-theory by mcclurmc on 2007-12-13 15:04:02 as
	Object-Oriented Style Overloading for Haskell [My Copy] (2001) by Mark Shields, Simon P. Jones posted to functional-programming haskell oop by mcclurmc on 2007-12-13 14:32:16 as

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/tag/oop

type-theory	40
concurrency	27
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
curry-howard	4
dsl	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's oop [24 articles] Export

mcclurmc's tags