Leho's library 22 articles Export

	A lambda calculus of objects and method specialization [My Copy] Nordic Journal of Computing, Vol. 1, No. 1. (Spring 1994), pp. 3-37. by Kathleen Fisher, Furio Honsell, John C. Mitchell posted to calculi lambda_calculi object-orientation by Leho on 2008-01-06 00:46:23 as along with 1 person network02
	A Delegation-based Object Calculus with Subtyping [My Copy] In Fundamentals of Computation Theory (FCT'95) (1995) by K. Fisher, J. Mitchell posted to calculi delegation object-calculi object-orientation prototypes subtyping type_systems by Leho on 2008-01-06 00:29:51 as
	A Semantics of Object Types [My Copy] In Ninth Annual {IEEE} Symposium on Logic in Comptuer Science, Paris, France (1994), pp. 332-341. by Mart\ín Abadi, Luca Cardelli posted to calculi object-orientation polymorphism subtyping type_systems by Leho on 2007-12-26 14:36:36 as
	Proofs are Programs: 19th Century Logic and 21st Century Computing [My Copy] (November 2000) by Philip Wadler posted to calculi curry_howard lambda_calculi logic type_systems by Leho on 2007-12-26 13:12:16 as
	Matching Objects with Patterns [My Copy] In ECOOP (2007), pp. 273-298. by Burak Emir, Martin Odersky, John Williams posted to object-orientation pattern_matching by Leho on 2007-12-26 12:55:18 as
	Object-Oriented Multi-Methods in Cecil [My Copy] In ECOOP '92: Proceedings of the European Conference on Object-Oriented Programming (1992), pp. 33-56. by Craig Chambers posted to cecil generic_programming multimethods object-orientation prototypes by Leho on 2007-12-26 12:44:32 as
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as along with 1 person chandlerc
	BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing [My Copy] In The Fourth International Workshop on Foundations of Object-Oriented Languages, FOOL 4, Paris, France (1996) by Craig Chambers, Gary T. Leavens posted to cecil multimethods object-orientation prototypes semantics type_systems by Leho on 2007-07-27 14:07:15 as
	The Cecil Language Specification and Rationale: Version 2.0 [My Copy] (1995) by Craig Chambers posted to cecil object-orientation prototypes by Leho on 2007-07-27 13:58:29 as along with 1 person and 1 group dherman NU-PRL
	A Shared View of Sharing: The Treaty of Orlando [My Copy] In Object-Oriented Concepts, Databases and Applications (1989), pp. 31-48. by L. A. Stein, H. Lieberman, D. Ungar edited by W. Kim, F. H. Lochovsky posted to object-orientation prototypes by Leho on 2007-07-27 13:57:08 as along with 3 people water451 smostinc keithb
	Organizing Programs Without Classes [My Copy] Lisp and Symbolic Computation, Vol. 4, No. 3. (1991) by David Ungar, Craig Chambers, Bay-Wei Chang, Urs Holzle posted to object-orientation prototypes by Leho on 2007-07-27 06:44:05 as along with 5 people and 2 groups marcoil therapon marimo charoy smostinc MathBio ecoo-pe
	Self: The power of simplicity [My Copy] SIGPLAN Not. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, Vol. 22, No. 12. (December 1987), pp. 227-242. by David Ungar, Randall B. Smith posted to message_passing object-orientation prototypes self by Leho on 2007-07-27 06:11:56 as along with 8 people mperalta TKAB egh marcoil jonathanmedwards water451 smostinc cruediger
	Actors: a model of concurrent computation in distributed systems [My Copy] (1986) by Gul Agha posted to actors concurrency message_passing parallelism by Leho on 2007-07-27 05:35:15 as along with 3 people chiayung elferdo mperalta
	On Understanding Types, Data Abstraction, and Polymorphism [My Copy] ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted to data_abstraction polymorphism type_systems by Leho on 2007-07-27 05:32:48 as along with 8 people and 1 group dherman tautologico amorkan lyongu ben_moseley bunge fmc dmeister NU-PRL
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted to type_systems by Leho on 2007-07-27 05:31:01 as along with 1 person tautologico
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted to contravariance covariance existential_polymorphism lambda_calculi subtyping type_checking type_inference type_systems universal_polymorphism by Leho on 2007-07-27 05:29:09 as along with 11 people and 2 groups talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip jimburton mvermaat zuleger SRG_at_UCD Lambda the Ultimate
	Using prototypical objects to implement shared behavior in object-oriented systems [My Copy] SIGPLAN Not. In OOPLSA '86: Conference proceedings on Object-oriented programming systems, languages and applications, Vol. 21, No. 11. (1986), pp. 214-223. by Henry Lieberman posted to object-orientation prototypes by Leho on 2007-07-27 05:25:44 as along with 6 people akuhn onierstrasz veal bartvb smostinc emiliorp
	Viewing control structures as patterns of passing messages [My Copy] Artificial Intelligence, Vol. 8, No. 3. (June 1977), pp. 323-364. by Carl Hewitt posted to actors control_structures message_passing parallelism by Leho on 2007-07-12 18:25:24 as along with 1 person and 1 group rlai MITCCI
	The Expression Problem, Scandinavian Style [My Copy] European Conference on Object-Oriented Programming (2004) by Erik Ernst posted to expression_problem extensibility by Leho on 2007-07-05 14:54:30 as along with 2 people and 1 group RalfMitschke dherman NU-PRL
	The Expression Problem Revisited [My Copy] European Conference on Object-Oriented Programming (2004) by Mads Torgersen posted to expression_problem extensibility by Leho on 2007-07-05 14:52:58 as along with 2 people and 1 group dherman JacquesC NU-PRL
	Open data types and open functions [My Copy] (2006) by Andres Löh, Ralf Hinze posted to expression_problem extensibility final_algebras functional_programming generic_programming haskell initial_algebras object-orientation type-classes type_systems by Leho on 2007-07-05 14:51:09 as along with 2 people and 1 group dherman lomeo NU-PRL
	The Expression Problem [My Copy] java-genericity Mailing List (12 November 1998) by Philip Wadler posted to expression_problem extensibility functional_programming object-orientation by Leho on 2007-07-05 14:33:28 as along with 2 people and 1 group dherman dfisher NU-PRL

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

object-orientation	13
type_systems	9
prototypes	8
calculi	4
expression_problem	4
extensibility	4
cecil	3
functional_programming	3
lambda_calculi	3
message_passing	3
subtyping	3
actors	2
generic_programming	2
haskell	2
multimethods	2
parallelism	2
polymorphism	2
type-classes	2
concurrency	1
contravariance	1
control_structures	1
covariance	1
curry_howard	1
data_abstraction	1
delegation	1
existential_polymorphism	1
final_algebras	1
initial_algebras	1
lazy_evaluation	1
logic	1
object-calculi	1
pattern_matching	1
self	1
semantics	1
type_checking	1
type_inference	1
universal_polymorphism	1

Leho's library 22 articles Export

Leho's tags