Tag subtyping [42 articles] Export

Recent papers classified by the tag subtyping.

	A theory of typed coercions and its applications [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 329-340. by Nikhil Swamy, Michael Hicks, Gavin M. Bierman posted to untyped typed subtyping polymorphism plclub mgree higher-order contracts by mgreenbe on 2009-10-09 22:05:22 as
	Keynote address - data abstraction and hierarchy [My Copy] In OOPSLA '87: Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum) (1987), pp. 17-34. by Barbara Liskov posted to types subtyping obp1 liskov_substitution_principle by michalpise on 2009-08-26 14:02:25 as along with 1 person martinrytter
	Type Extension Through Polymorphism [My Copy] ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 135-138. by F. Warren Burton posted to extensibility parametric-polymorphism records subtyping by spl on 2009-08-09 14:24:41 as along with 1 person pedagand
	Subtyping recursive types [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted to subtyping type by keigoi on 2009-05-10 10:41:21 as along with 1 person msakai
	A behavioral notion of subtyping [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1811-1841. by Barbara H. Liskov, Jeannette M. Wing posted to 1994 behavior_inheritance classic subtyping by leonardo on 2009-04-22 18:15:56 as
	Behavioural Subtyping Relations for Object-Oriented Formalisms [My Copy] Algebraic Methodology and Software Technology In Lecture Notes in Computer Science, Vol. 1816 (2000), pp. 469-483. by Clemens Fischer, Heike Wehrheim edited by Teodor Rus posted to 2000 object subtyping by leonardo on 2009-04-22 15:39:41 as
	Encoding Duce in the -Calculus [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 310-326. by Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca posted to duce picalculus subtyping by keigoi on 2008-02-12 10:32:01 as
	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
	Local Type Inference [My Copy] In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265. by Benjamin C. Pierce, David N. Turner posted to localized-type-interence subtyping by jfischer on 2007-11-21 07:10:28 as along with 5 people draganigajic tautologico suizan gkuan pedagand
	Colored local type inference [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 41-53. by Martin Odersky, Christoph Zenger, Matthias Zenger posted to localized-type-interence subtyping by jfischer on 2007-11-21 07:09:51 as
	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
	Complexity of kernel Fun subtype checking [My Copy] In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming (1996), pp. 134-145. by Giorgio Ghelli posted to kernel-fun subtyping by giorgioghelli on 2007-07-01 17:21:35 as
	Subtyping parametric and dependent types [My Copy] In Type Theory and Term Rewriting (1996) by Gang Chen, Giuseppe Longo edited by Kamareddine posted to dependent-types subtyping survey by dwehr on 2007-06-06 06:28:52 as along with 1 group complogic
	Subtyping and parametricity [My Copy] Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (1994), pp. 310-319. by G. Plotkin, M. Abadi, L. Cardelli posted to parametric-polymorphism subtyping by dwehr on 2007-06-06 03:14:57 as along with 1 group complogic
	Type inference in the presence of overloading, subtyping and recursive types [My Copy] In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 193-204. by Stefan Kaes posted to overloading subtyping by dwehr on 2007-06-06 03:08:18 as along with 1 group complogic
	Principal type schemes for functional programs with overloading and subtyping [My Copy] In TAPSOFT '93: Selected papers of the colloquium on Formal approaches of software engineering (1994), pp. 197-226. by Geoffrey S. Smith posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 03:03:11 as
	A calculus for overloaded functions with subtyping [My Copy] In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 182-192. by Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo posted to overloading subtyping by dwehr on 2007-06-06 02:58:20 as along with 1 group complogic
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted to haskell objects oop polymorphism records subtyping type-classes by AndreasSchropp on 2007-01-04 00:34:13 as along with 5 people and 1 group greenrd voigt mgran mcclurmc jimburton SRG_at_UCD
	Datatypes and Subtyping [My Copy] (1998) by Haruo Hosoya, Benjamin C. Pierce, David N. Turner posted to subtyping types by voigt on 2006-10-09 09:21:44 as along with 1 person tautologico
	Semantic Subtyping [My Copy] In Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science (2002), pp. 137-146. by Alain Frisch, Giuseppe Castagna, Veronique Benzaken posted to subtyping by greenrd on 2006-06-15 23:00:53 as along with 1 group SRG_at_UCD
	A gentle introduction to semantic subtyping [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 198-199. by Giuseppe Castagna, Alain Frisch posted to intersection-types negation-types semantic-subtyping subtyping types union-types by dherman on 2006-06-08 23:53:01 as along with 1 person and 1 group amorkan NU-PRL
	Programming with polymorphic variants [My Copy] (1998) by J. Garrigue posted to pattern-matching polymorphic-variants polymorphism structural-types subtyping type-inference by dherman on 2006-04-25 22:45:12 as along with 1 group NU-PRL
	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
	$My PDF r&\#233;my_89_type.pdf$ Type checking records and variants in a natural extension of ML [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 77-88. by D. R&\#233;my posted to extensible-records records subtyping type-theory by dherman to the group NU-PRL on 2006-04-25 22:32:32 as
	A record calculus based on symmetric concatenation [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 131-142. by Robert Harper, Benjamin Pierce posted to extensible-records records subtyping type-theory by dherman on 2006-04-25 22:30:02 as along with 1 person and 1 group tov NU-PRL
	Type reconstruction for coercion polymorphism [My Copy] In SAC '94: Proceedings of the 1994 ACM symposium on Applied computing (1994), pp. 420-424. by Ryan Stansifer, Dan Wetklow posted to subtyping type-inference type-theory by dherman on 2006-04-25 22:29:19 as along with 1 group NU-PRL
	$My PDF r&\#233;my_92_typing.pdf$ Typing record concatenation for free [My Copy] In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 166-176. by Didier R&\#233;my posted to extensible-records records subtyping type-theory by dherman to the group NU-PRL on 2006-04-25 22:27:54 as along with 1 person tov
	Type inference with subtypes [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 88-97. by R. Stansifer posted to subtyping type-inference type-theory by dherman on 2006-04-25 22:24:52 as along with 1 group NU-PRL
	Java Subtype Tests in Real-Time [My Copy] by Krzysztof Palacz, Jan Vitek posted to algorithm object-oriented subtyping by kinaba on 2006-01-13 16:30:49 as
	Efficient subtyping tests with PQ-encoding [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 5. (September 2005), pp. 819-856. by Joseph (. Gil, Yoav Zibin posted to algorithm object-oriented subtyping by kinaba on 2006-01-13 13:43:04 as
	On understanding types, data abstraction, and polymorphism [My Copy] ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523. by Luca Cardelli, Peter Wegner posted to functional-programming lambda-calculus objects parametricity polymorphism subtyping types by voigt on 2005-09-14 08:16:21 as along with 8 people and 1 group azwinkau dalev Bluetulip cogumbreiro nodakai chandlerc marcinzalewski jpbernardy NU-PRL
	Positive Subtyping [My Copy] Information and Computation, Vol. 126, No. 1. (10 April 1996), pp. 11-33. by Martin Hofmann, Benjamin C. Pierce posted to denotational-semantics functional-programming subtyping types by voigt on 2005-09-12 12:45:16 as
	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 lambda-calculus recursive-types subtyping type-soundness by pnkfelix on 2005-05-04 19:27:29 as along with 3 people and 1 group dherman amorkan lyongu NU-PRL
	On Binary Methods [My Copy] Theory and Practice of Object Systems, Vol. 1, No. 3. (1995), pp. 221-242. by Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, et al.Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce posted to behavioral-subtyping binary-methods contravariance covariance multiple-dispatch object-oriented-programming subtyping type-checking by sstrickl on 2005-02-16 00:43:51 as
	Covariance and contravariance: conflict without a cause [My Copy] ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (May 1995), pp. 431-447. by Giuseppe Castagna posted to contravariance covariance multiple-dispatch object-oriented-programming subtyping type-theory by sstrickl on 2005-02-16 00:40:41 as along with 2 people and 1 group scis0000001 dwehr complogic
	Products and polymorphic subtypes [My Copy] Fundam. Inf., Vol. 51, No. 1. (June 2002), pp. 13-41. by Viviana Bono, Jerzy Tiuryn posted to logical-relations subtyping by dherman to the group NU-PRL on 2004-12-26 04:13:03
	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 on 2004-12-25 20:46:58 along with 1 group NU-PRL
	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
	Extensible Records in a Pure Calculus of Subtyping [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 373-425. by Luca Cardelli edited by C. A. Gunter, J. C. Mitchell posted to extensibility extensible-records records subtyping by dherman on 2004-12-24 03:16:45 along with 1 person and 1 group ryanc NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/subtyping

oop	15
type-theory	13
types	11
records	10
extensible-records	8
per	8
type-inference	8
overloading	6
polymorphism	6
extensibility	5
parametricity	5
contravariance	3
covariance	3
functional-programming	3
objects	3
parametric-polymorphism	3
algorithm	2
dependent-types	2
duce	2
haskell	2
inheritance	2
intersection-types	2
lambda-calculus	2
localized-type-interence	2
logical-relations	2
multiple-dispatch	2
negation-types	2
object-oriented	2
object-oriented-programming	2
pattern-matching	2
picalculus	2
polymorphic-variants	2
principal-types	2
semantic-subtyping	2
structural-types	2
survey	2
type-classes	2
type_systems	2
union-types	2
1994	1
2000	1
behavior_inheritance	1
behavioral-subtyping	1
binary-methods	1
calculi	1
classic	1
contracts	1
delegation	1
denotational-semantics	1
existential_polymorphism	1
higher-order	1
kernel-fun	1
lambda_calculi	1
liskov_substitution_principle	1
mgree	1
object	1
object-calculi	1
object-orientation	1
obp1	1
plclub	1
prototypes	1
recursive-types	1
type	1
type-checking	1
type-soundness	1
type_checking	1
type_inference	1
typed	1
universal_polymorphism	1
untyped	1

Tag subtyping [42 articles] Export

Related Tags