Group: NU-PRL - with tag oop [20 articles] Export

Recent papers posted by members of the NU-PRL group with tag oop

	Type inference for objects [My Copy] ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 358-359. by Jens Palsberg posted to oop principal-types subtyping type-inference type-theory by dherman to the group NU-PRL on 2006-04-25 22:33:46 as
	Object-oriented programming without recursive types [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 299-312. by Benjamin C. Pierce, David N. Turner posted to existential-types oop recursive-types type-theory by dherman to the group NU-PRL on 2006-04-25 22:26:09 as
	Open data types and open functions [My Copy] (2006) by Andres Löh, Ralf Hinze posted to expression-problem extensibility final-algebras fp initial-algebras oop by dherman to the group NU-PRL on 2006-03-27 00:19:36 as along with 2 people lomeo Leho
	Implementing Extensible Compilers [My Copy] In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001) by Matthias Zenger, Martin Odersky posted to compiler expression-problem extensibility final-algebras fp initial-algebras oop by dherman to the group NU-PRL on 2005-04-10 15:07:54 as along with 3 people jrw mbravenboer dfisher
	Independently Extensible Solutions to the Expression Problem [My Copy] (2004) by Matthias Zenger, Martin Odersky posted to expression-problem final-algebras fp initial-algebras oop by dherman to the group NU-PRL on 2005-04-10 15:06:28 as along with 1 person mbravenboer
	Safely creating correct subclasses without seeing superclass code [My Copy] In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 208-228. by Clyde Ruby, Gary T. Leavens posted to honu oop by samth to the group NU-PRL on 2005-01-24 22:14:00 as along with 1 person and 1 group kiniry SRG_at_UCD
	Predicate Dispatching: A Unified Theory of Dispatch [My Copy] In ECOOP '98: 12th European Conference on Object-Oriented Programming, Brussels, Belgium, Vol. 1445 (1998), pp. 186-211. by Michael D. Ernst, Crag Kaplan, Craig Chambers posted to dynamic-dispatch multimethods oop predicate-dispatch by JacquesC to the group NU-PRL on 2005-01-04 01:47:04 along with 5 people and 3 groups twleung hamish A_Olympia greenrd water451 Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
	Subtyping Recursive Types [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4. (September 1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted to oop subtyping by dherman to the group NU-PRL on 2004-12-29 15:32:44 along with 3 people pnkfelix amorkan lyongu
	Type Systems for object-oriented programming languages [My Copy] No. STAN-CS-TR-98-1602. (1996) by K. Fisher posted to oop types by dherman to the group NU-PRL on 2004-12-25 21:31:45 along with 2 people tautologico ryanc
	Object-Oriented Style [My Copy] by Daniel F. Indiana posted to oop scheme by dherman to the group NU-PRL on 2004-12-25 21:26:18 along with 2 people ryanc dfisher
	A per Model of Polymorphism and Recursive Types [My Copy] In 5th Annual IEEE Symposium on Logic in Computer Science (1990), pp. 355-365. by M. Abadi, G. D. Plotkin edited by J. Mitchell posted to oop per types subtyping by dherman to the group NU-PRL on 2004-12-25 20:49:04
	Parametricity as subtyping [My Copy] In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 281-292. by Qingming Ma posted to oop parametricity per subtyping by dherman to the group NU-PRL on 2004-12-25 20:46:58
	Subtyping and Parametricity [My Copy] In Proc.\ of 9th Ann.\ IEEE Symp.\ on Logic in Computer Science, LICS'94, Paris, France, 4--7 July 1994 (1994), pp. 310-319. by Gordon Plotkin, Mart∈ Abadi, Luca Cardelli posted to parametricity per subtyping oop by dherman to the group NU-PRL on 2004-12-25 20:46:36
	PER models of subtyping, recursive types and higher-order polymorphism [My Copy] In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 316-327. by Kim Bruce, John C. Mitchell posted to oop per subtyping types by dherman to the group NU-PRL on 2004-12-25 20:20:55
	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 extensibility inheritance oop subtyping by dherman to the group NU-PRL on 2004-12-24 03:36:26 along with 5 people and 1 group emiliorp amorkan lyongu ryanc mcclurmc Security in SOA
	Operations on Records [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 295-350. by Luca Cardelli, John C. Mitchell edited by C. A. Gunter, J. C. Mitchell posted to extensibility extensible-records oop records by dherman to the group NU-PRL on 2004-12-24 03:15:17 along with 2 people misc ryanc
	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 abstraction extensibility oop types by dherman to the group NU-PRL on 2004-12-24 03:04:13 along with 8 people tautologico amorkan lyongu ben_moseley bunge fmc Leho dmeister
	Behavioral interface contracts for java [My Copy] (2000) by R. Findler, M. Felleisen posted to contracts honu oop plt by dherman to the group NU-PRL on 2004-12-23 15:45:50
	Contract Soundness for object-oriented languages [My Copy] In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 1-15. by Robert B. Findler, Matthias Felleisen posted to contracts honu oop plt by dherman to the group NU-PRL on 2004-12-23 15:44:39 along with 2 people and 2 groups A_Olympia dsilva Philosophy_of_Information Blog_and_Wiki_Research
	Typing the specialization interface [My Copy] In OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, Vol. 28, No. 10. (October 1993), pp. 201-214. by John Lamping posted to honu oop by samth to the group NU-PRL on 2004-12-20 22:28:46 as

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

programming	20
type-theory	17
subtyping	15
inheritance	14
design	13
polymorphism	11
modelling	10
types	10
aop	9
cplusplus	8
extensibility	8
honu	8
per	8
technical	8
code	7
java	7
multimethods	7
simulation	7
dynamic-dispatch	6
predicate-dispatch	6
sample	6
softwareframework	6
source	6
traits	6
abstraction	5
biology	5
class	5
compilers	5
fp	5
genericity	5
haskell	5
modularity	5
pattern	5
plt	5
records	5
semantics	5
smalltalk	5
contracts	4
final-algebras	4
functional-programming	4
implementation	4
initial-algebras	4
monads	4
object-identity	4
objects	4
parametricity	4
patterns	4
software	4
type-inference	4
uml	4
usability	4
analysis	3
aosd	3
constraint	3
decorators	3
design-patterns	3
domain-modeling	3
expression-problem	3
f-logic	3
frames	3
guidelines	3
learning	3
logic	3
metaprogramming	3
nopdf	3
object	3
progaming	3
programming-language-design	3
prototype	3
roles	3
scheme	3
software-engineering	3
technique	3
type-classes	3
2006	2
acm	2
algorithms	2
compiler	2
concurrency	2
data_structures	2
delegation	2
dispatch	2
distributed	2
existential-types	2
extensible-records	2
fem	2
gadt	2
gipsy	2
heuristics	2
inversionofcontrol	2
language	2
language-implementation	2
metadata	2
mpi	2
objective_luicid	2
oriented	2
questionnaire	2
reclassification	2
recursive-types	2
theory	2

Group: NU-PRL - with tag oop [20 articles] Export

Related Tags