Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/design/polymorphism.bib
ViewVC logotype

View of /papers/modulespaper/design/polymorphism.bib

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 4917 byte(s)
initial import
%% Created for George Kuan at 2008-03-13 23:59:14 -0500 


%% Saved with string encoding Western (ASCII) 



@inproceedings{651632,
	Address = {London, UK},
	Author = {Stefan Kahrs},
	Booktitle = {ESOP '94: Proceedings of the 5th European Symposium on Programming},
	Date-Added = {2008-03-13 23:59:00 -0500},
	Date-Modified = {2008-03-13 23:59:00 -0500},
	Isbn = {3-540-57880-3},
	Pages = {333--347},
	Publisher = {Springer-Verlag},
	Title = {First-Class Polymorphism for ML},
	Year = {1994}}

@article{581496,
	Address = {New York, NY, USA},
	Author = {Matthias Neubauer and Peter Thiemann},
	Date-Added = {2008-03-13 23:54:02 -0500},
	Date-Modified = {2008-03-13 23:54:02 -0500},
	Doi = {http://doi.acm.org/10.1145/583852.581496},
	Issn = {0362-1340},
	Journal = {SIGPLAN Not.},
	Number = {9},
	Pages = {179--190},
	Publisher = {ACM},
	Title = {Type classes with more higher-order polymorphism},
	Url = {http://portal.acm.org/ft_gateway.cfm?id=581496&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Volume = {37},
	Year = {2002},
	Bdsk-Url-1 = {http://portal.acm.org/ft_gateway.cfm?id=581496&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Bdsk-Url-2 = {http://doi.acm.org/10.1145/583852.581496}}

@article{74836,
	Address = {New York, NY, USA},
	Author = {J. W. O'Toole, Jr. and D. K. Gifford},
	Date-Added = {2008-03-13 23:53:32 -0500},
	Date-Modified = {2008-03-13 23:53:32 -0500},
	Doi = {http://doi.acm.org/10.1145/74818.74836},
	Issn = {0362-1340},
	Journal = {SIGPLAN Not.},
	Number = {7},
	Pages = {207--217},
	Publisher = {ACM},
	Title = {Type reconstruction with first-class polymorphic values},
	Url = {http://portal.acm.org/ft_gateway.cfm?id=74836&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Volume = {24},
	Year = {1989},
	Bdsk-Url-1 = {http://portal.acm.org/ft_gateway.cfm?id=74836&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Bdsk-Url-2 = {http://doi.acm.org/10.1145/74818.74836}}

@inproceedings{158632,
	Address = {New York, NY, USA},
	Author = {Xavier Leroy},
	Booktitle = {POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Date-Added = {2008-03-13 23:51:20 -0500},
	Date-Modified = {2008-03-13 23:51:20 -0500},
	Doi = {http://doi.acm.org/10.1145/158511.158632},
	Isbn = {0-89791-560-7},
	Location = {Charleston, South Carolina, United States},
	Pages = {220--231},
	Publisher = {ACM},
	Title = {Polymorphism by name for references and continuations},
	Url = {http://portal.acm.org/ft_gateway.cfm?id=158632&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Year = {1993},
	Bdsk-Url-1 = {http://portal.acm.org/ft_gateway.cfm?id=158632&type=pdf&coll=Portal&dl=GUIDE&CFID=59253003&CFTOKEN=34457283},
	Bdsk-Url-2 = {http://doi.acm.org/10.1145/158511.158632}}

@article{258867,
	Address = {Hingham, MA, USA},
	Author = {Atsushi Ohori and Tomonobu Takamizawa},
	Date-Added = {2008-03-13 21:04:12 -0500},
	Date-Modified = {2008-03-13 21:04:12 -0500},
	Doi = {http://dx.doi.org/10.1023/A:1007730624053},
	Issn = {0892-4635},
	Journal = {Lisp Symb. Comput.},
	Number = {1},
	Pages = {61--91},
	Publisher = {Kluwer Academic Publishers},
	Title = {An Unboxed Operational Semantics for ML Polymorphism},
	Url = {http://portal.acm.org/ft_gateway.cfm?id=258867&type=external&coll=Portal&dl=GUIDE&CFID=59237855&CFTOKEN=52156592},
	Volume = {10},
	Year = {1997},
	Bdsk-Url-1 = {http://portal.acm.org/ft_gateway.cfm?id=258867&type=external&coll=Portal&dl=GUIDE&CFID=59237855&CFTOKEN=52156592},
	Bdsk-Url-2 = {http://dx.doi.org/10.1023/A:1007730624053}}

@inproceedings{263765,
	Address = {New York, NY, USA},
	Author = {Mark P. Jones},
	Booktitle = {POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Date-Added = {2008-03-13 21:02:54 -0500},
	Date-Modified = {2008-03-13 21:02:54 -0500},
	Doi = {http://doi.acm.org/10.1145/263699.263765},
	Isbn = {0-89791-853-3},
	Location = {Paris, France},
	Pages = {483--496},
	Publisher = {ACM},
	Title = {First-class polymorphism with type inference},
	Url = {http://portal.acm.org/ft_gateway.cfm?id=263765&type=pdf&coll=Portal&dl=GUIDE&CFID=59237855&CFTOKEN=52156592},
	Year = {1997},
	Bdsk-Url-1 = {http://portal.acm.org/ft_gateway.cfm?id=263765&type=pdf&coll=Portal&dl=GUIDE&CFID=59237855&CFTOKEN=52156592},
	Bdsk-Url-2 = {http://doi.acm.org/10.1145/263699.263765}}

@article{324093,
	Address = {Duluth, MN, USA},
	Author = {Jacques Garrigue and Didier R\'{e}my},
	Date-Added = {2008-03-13 21:02:14 -0500},
	Date-Modified = {2008-03-13 21:02:14 -0500},
	Doi = {http://dx.doi.org/10.1006/inco.1999.2830},
	Issn = {0890-5401},
	Journal = {Inf. Comput.},
	Number = {1-2},
	Pages = {134--169},
	Publisher = {Academic Press, Inc.},
	Title = {Semi-explicit first-class polymorphism for ML},
	Volume = {155},
	Year = {1999},
	Bdsk-Url-1 = {http://dx.doi.org/10.1006/inco.1999.2830}}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0