subtyping.bib

@INBOOK{Reynolds85,
	AUTHOR = {J. C. Reynolds},
	PAGES = {},
	TITLE = {{Three approaches to type structure}},
	PUBLISHER = {Springer},
	YEAR = {1985},
	NOTE = {in book Mathematical Foundations of Software Development}
}

@ARTICLE{Cook90,
	AUTHOR = {W. Cook},
	TITLE = {{Inheritance is not subtyping}},
	JOURNAL = {Proc. of POPL},
	YEAR = {1990},
	NOTE = {}
}

@ARTICLE{Cardelli88,
	AUTHOR = {Luca Cardelli},
	TITLE = {{A semantics of multiple inheritance}},
	JOURNAL = {Information and Computation},
        VOLUME = {76},
	YEAR = {1988},
        PAGES = {138--164},
	NOTE = {}
}

@ARTICLE{Liskov95,
	AUTHOR = {Barbara H. Liskov and Jeannette M. Wing},
	TITLE = {{A Behavioral Notion of Subtyping}},
	JOURNAL = {ACM TOPLAS},
        VOLUME = {16},
        NUMBER = {6},
	YEAR = {1995},
        PAGES = {1811--1841}

}

@ARTICLE{CardelliMMS94, 
        TITLE={An Extension of System {$F$} with Subtyping},
        AUTHOR={Luca Cardelli and Simone Martini and John C. Mitchell and
                Andre Scedrov},
        PAGES={4--56},
        JOURNAL=iandcomp,
        MONTH={15~} # feb # {/} # mar,
        YEAR=1994,
        VOLUME=109,
        NUMBER={1/2},
        SOURCE={ftp://theory.lcs.mit.edu/pub/iandc/iandc.bib}
}

@ARTICLE{CardelliPA94, 
        TITLE={Subtyping and Parametricity}, 
        AUTHOR={Luca Cardelli and G. Plotking and M. Abadi},
        PAGES={310-319},
        JOURNAL= {LICS},
        YEAR=1994
}

@ARTICLE{Hoang-Mitchell95, 
	AUTHOR = {My Hoang and John Mitchell},
	TITLE = {{Lower bounds on type inference with subtypes}}, 
	JOURNAL = {Conference Record of POPL'95: the 25th ACM
		  SIGPLAN-SIGACT Symposium on Principles of
		  Programming Languages},
	YEAR = {1995},
	PAGES = {176--185},
	Annotating = {}

}
		
@PHDTHESIS{Rehof-phd98,
	AUTHOR = {Jakob Rehof},
	TITLE = {{The Complexity of Simple Subtyping Systems}},
	SCHOOL = {University of Copenhagen},
	YEAR = {1998},
	NOTE = {}
}

@ARTICLE{Rehof97, 
	AUTHOR = {Jacob Rehof},
	TITLE = {{Minimal Typings in Atomic Subtyping}}, 
	JOURNAL = {Proceedings of POPL'97: the 24th ACM
		  SIGPLAN-SIGACT Symposium on Principles of
		  Programming Languages},
	YEAR = {1997},
	Annotating = {}

}

@PHDTHESIS{Dilip-phd98,
	AUTHOR = {Dilip Sequeira},
	TITLE = {{Type Inference with Bounded Quantification}},
	SCHOOL = {University of Edinburgh},
	YEAR = {1998},
	NOTE = {}
}

@INPROCEEDINGS{Pottier98-99,
	AUTHOR = {Fran\c{c}ois Pottier},
	TITLE = {{A Framework for Type Inference with Subtyping}}, 
	BOOKTITLE = {Proceedings of ICFP'98: 
         the ACM SIGPLAN International Conference on Functional
         Programming },
	YEAR = {1998},
	NOTE = {volume 34(1) of ACM SIGPLAN Notices, pages 228-238, 
                June 1999}

}

@INPROCEEDINGS{Nordlander98-99,
	AUTHOR = {Johan Nordlander},
	TITLE = {{Pragmatic Subtyping in Polymorphic Languages}}, 
	BOOKTITLE = {Proceedings of ICFP'98: 
         the ACM SIGPLAN International Conference on Functional
         Programming },
	YEAR = {1998},
	NOTE = {volume 34(1) of ACM SIGPLAN Notices, pages 216-227, 
                June 1999}

}

@INPROCEEDINGS{SimonMarlow-Wadler97,
	AUTHOR = {Simon Marlow and Philip Wadler},
	TITLE = {{A practical subtyping system for Erlang}}, 
	BOOKTITLE = {Proceedings of ICFP'97: 
         the ACM SIGPLAN International Conference on Functional
         Programming },
	YEAR = {1997},
        PAGES = {136--149}
}

@INPROCEEDINGS{Fuh-Mishra89,
	AUTHOR = {You-Chin Fuh and Prateek Mishra},
	TITLE = {{Polymorphic Subtype Inference: 
                  Closing the Theory-Practice Gap}}, 
	BOOKTITLE = {Proceedings of TAPSOFT'89},
        VOLUME = 2,
	YEAR = {1997},
        PAGES = {167--183}

}

@INPROCEEDINGS{Aiken-Wimmers93,
	AUTHOR = {Alexander Aiken and Edward L.~Wimmers},
	TITLE = {{Type inclusion constraints and type inference}}, 
	BOOKTITLE = {Proceedings of ACM Functional Programming 
            Languages and Computer Architecture},
	YEAR = {1993}
}

@INPROCEEDINGS{Nordlander00,
	AUTHOR = {Johan Nordlander},
	TITLE = {{Polymorphic Subtyping in O'Haskell}}, 
	BOOKTITLE = {Proceedings of the APPSEm Workshop on 
         Subtyping and Dependent Types in Programming},
	YEAR = {2000}
}

@ARTICLE{DidierRemy-Vouillon98,
	AUTHOR = {Didier R\'{e}my and J\'{e}r\^{o}me Vouillon},
	TITLE = {{Objective ML: 
            An effective object-oriented extension to ML}}, 
	JOURNAL = {Theory And Practice of Object Systems},
        VOLUME = 4, 
        NUMBER = 1,
        PAGES = {27--50},
	YEAR = {1998}
}