Extracted from fox-bib.bib with M-x bibtex-extract-matching-entries fox-bib.bib keywords languages Fri May 4 18:49:29 UTC 2001 @Unpublished{Birkedal?tcs, author = "Lars Birkedal and Robert Harper", title = "Relational Interpretations of Recursive Types in an Operational Setting", note = "To appear in {\em Theoretical Computer Science}", annote = "Extended version of~\cite{Birkedal97tacs}", urlps = "http://www.cs.cmu.edu/~rwh/papers/relations/tcs.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/relations/tcs.dvi", keywords = "languages", } @Unpublished{Constable?festschrift, author = "Robert L. Constable and Karl Crary", title = "Computational Complexity and Induction for Partial Computable Functions in Type Theory", note = "To appear in Feferman Festschrift", urlabstract = "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat-abs.txt", urlps = "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat.ps.gz", urldvi = "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat.dvi", keywords = "languages", } @Unpublished{Riecke?ic, author = "Jon G. Riecke and Christopher A. Stone", title = "Privacy via Subsumption", note = "Submitted for publication to {\em Information and Computation}", annote = "Revised and extended version~\cite{Riecke98fool}", urlps = "http://www.cs.hmc.edu/~stone/papers/tapos-final.ps", keywords = "languages", } @Unpublished{Schurmann?tcs, author = "Carsten Sch{\"u}rmann and J{\"o}elle Despeyroux and Frank Pfenning", title = "Primitive Recursion for Higher-Order Abstract Syntax", note = "To appear in {\em Theoretical Computer Science}", annote = "Preliminary version available as~\cite{Despeyroux96tr172}", keywords = "languages", } @TechReport{Crary01tr113, author = "Karl Crary and Joseph C. Vanderwaart", title = "An Expressive, Scalable Type Theory for Certified Code", institution = "School of Computer Science, Carnegie Mellon University", year = "2001", number = "CMU-CS-01-113", month = may, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/2001/abstracts/01-113.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.pdf", keywords = "pcc, languages", } @TechReport{Dreyer01tr112, author = "Derek R. Dreyer and Robert Harper and Karl Crary", title = "Toward a Practical Type Theory for Recursive Modules", institution = "School of Computer Science, Carnegie Mellon University", year = "2001", month = mar, number = "CMU-CS-01-112", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/2001/abstracts/01-112.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-112.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-112.pdf", keywords = "til, languages", } @TechReport{Petersen00tr180, author = "Leaf Petersen and Perry Cheng and Robert Harper and Chris Stone", title = "Implementing the {TILT} Internal Language", institution = "School of Computer Science, Carnegie Mellon University", year = "2000", number = "CMU-CS-00-180", month = dec, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/2000/abstracts/00-180.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-180.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-180.pdf", keywords = "til, languages", } @InProceedings{Walker00tic, author = "David Walker and Greg Morrisett", title = "Alias Types for Recursive Data Structures", booktitle = "Proceedings of the Workshop on Types in Compilation", year = "2000", month = sep, note = "Proceedings available as School of Computer Science, Carnegie Mellon University Technical Report CMU-CS-00-161", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161K.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161K.pdf", keywords = "languages", } @InProceedings{Hicks00tic, author = "Michael Hicks and Stephanie Weirich and Karl Crary", title = "Safe and Flexible Dynamic Linking of Native Code", booktitle = "Proceedings of the Workshop on Types in Compilation", year = "2000", month = sep, note = "Proceedings available as School of Computer Science, Carnegie Mellon University Technical Report CMU-CS-00-161", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161I.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161I.pdf", keywords = "til, languages", } @InProceedings{Davies00icfp, author = "Rowan Davies and Frank Pfenning", title = "Intersection Types and Computational Effects", editor = "P. Wadler", booktitle = "Proceedings of the International Conference on Functional Programming", year = "2000", publisher = "ACM Press", address = "Montreal, Canada", month = sep, pages = "198--208", urlps = "http://www.cs.cmu.edu/~fp/papers/icfp00.ps.gz", keywords = "languages", } @InProceedings{Smith00esop, author = "Frederick Smith and David Walker and Greg Morrisett", title = "Alias Types", booktitle = "Proceedings of the European Symposium on Programming", year = "2000", publisher = "Springer-Verlag LNCS 1782", address = "Berlin, Germany", month = mar, pages = "366--381", urlabstract = "http://www.cs.cornell.edu/talc/papers/alias-abstract.html", urlps = "http://www.cs.cornell.edu/talc/papers/alias_ps.gz", urlpdf = "http://www.cs.cornell.edu/talc/papers/alias.pdf", keywords = "languages", } @InProceedings{Momigliano99iclp, author = "Alberto Momigliano and Frank Pfenning", title = "The Relative Complement Problem for Higher-Order Patterns", editor = "D. De Schreye", booktitle = "Proceedings of the International Conference on Logic Programming", year = "1999", publisher = "MIT Press", address = "Las Cruces, New Mexico", month = nov, pages = "380--394", urlps = "http://www.cs.cmu.edu/~fp/papers/iclp99.ps.gz", keywords = "languages", } @Article{Birkedal99ic, author = "Lars Birkedal and Robert Harper", title = "Relational Interpretations of Recursive Types in an Operational Setting", journal = "Information and Computation", year = "1999", volume = "155", number = "1/2", month = nov, pages = "3--63", urlpdf = "http://www.idealibrary.com/links/doi/10.1006/inco.1999.2828/pdf", keywords = "languages", } @TechReport{Xi99tr008, author = "Hongwei Xi and Robert Harper", title = "A Dependently Typed Assembly Language", institution = "Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology", year = "1999", number = "OGI-CSE-99-008", month = jul, urlabstract = "http://www.ececs.uc.edu/~hwxi/academic/papers/DTALabs.ps", urlps = "ftp://cse.ogi.edu/pub/tech-reports/1999/99-008.ps.gz", urlpdf = "http://www.ececs.uc.edu/~hwxi/academic/papers/DTAL.pdf", keywords = "til, languages", } @InProceedings{Crary99pldi, author = "Karl Crary and Robert Harper and Sidd Puri", title = "What is a Recursive Module?", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "1999", publisher = "ACM Press", address = "Atlanta, Georgia", month = may, pages = "50--63", urlabstract = "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod-abs.txt", urlps = "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod.ps.gz", urldvi = "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod.dvi", keywords = "languages", } @Article{Harper99ipl, author = "Robert Harper and John C. Mitchell", title = "Parametricity and Variants of Girard's {J} Operator", journal = "Information Processing Letters", year = "1999", volume = "70", number = "1", month = apr, pages = "1--5", urlabstract = "http://www.cs.cmu.edu/~rwh/papers/girard-j/abstract/index.htm", urlps = "http://www.cs.cmu.edu/~rwh/papers/girard-j/girard-j-ipl.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/girard-j/girard-j-ipl.dvi", keywords = "languages", } @Unpublished{MLWG99, author = "The ML2000 Working Group", key = "ML2000", title = "Principles and a Preliminary Design for {ML2000}", note = "Unpublished", year = "1999", month = mar, urlabstract = "http://www.cs.cmu.edu/~crary/papers/1999/ml2k-prelim/ml2k-prelim-abs.txt", urlps = "http://www.cs.cmu.edu/~crary/papers/1999/ml2k-prelim/ml2k-prelim.ps.gz", keywords = "languages", } @InProceedings{Xi99dtp, author = "Hongwei Xi and Robert Harper", title = "A Dependently Typed Assembly Language", booktitle = "Informal Proceedings of the Workshop on Dependent Types in Programming", year = "1999", address = "G{\"o}teborg", month = mar, keywords = "til, languages", } @InProceedings{Xi99popl, author = "Hongwei Xi and Frank Pfenning", title = "Dependent Types in Practical Programming (Extended Abstract)", editor = "A. Aiken", booktitle = "Proceedings of the Symposium on Principles of Programming Languages", year = "1999", address = "San Antonio, Texas", month = jan, pages = "214--227", urlps = "http://www.ececs.uc.edu/~hwxi/academic/papers/popl99.ps", urlpdf = "http://www.ececs.uc.edu/~hwxi/academic/papers/popl99.pdf", keywords = "languages", } @TechReport{Crary99tr100, author = "Karl Crary", title = "Simple, Efficient Object Encoding using Intersection Types", institution = "School of Computer Science, Carnegie Mellon University", year = "1999", number = "CMU-CS-99-100", month = jan, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-100.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-100.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-100.pdf", keywords = "languages", } @PhdThesis{Xi98phd, author = "Hongwei Xi", title = "Dependent Types in Practical Programming", school = "School of Computer Science, Carnegie Mellon University", year = "1998", month = dec, urlpdf = "http://www.cs.cmu.edu/~rwh/theses/xi.pdf", keywords = "languages", } @TechReport{Crary98tr177, author = "Karl Crary and Robert Harper and Perry Cheng and Leaf Petersen and Chris Stone", title = "Transparent and Opaque Interpretations of Datatypes", institution = "School of Computer Science, Carnegie Mellon University", year = "1998", month = nov, number = "CMU-CS-98-177", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-177.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-177.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-177.pdf", urldvi = "http://www.cs.cmu.edu/~rwh/papers/transop/transop.dvi", keywords = "til, languages", } @TechReport{Crary98tr164, author = "Karl Crary", title = "Admissibility of Fixpoint Induction over Partial Types", institution = "School of Computer Science, Carnegie Mellon University", year = "1998", number = "CMU-CS-98-164", month = oct, note = "A shorter version of this paper was presented at the {\em International Conference on Automated Deduction}, Lindau, Germany, July 1998", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-164.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-164.ps", urldvi = "http://www.cs.cmu.edu/~crary/papers/1998/admiss/admiss.dvi", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-164.pdf", keywords = "languages", } @InProceedings{Xi98pldi, author = "Hongwei Xi and Frank Pfenning", title = "Eliminating Array Bound Checking through Dependent Types", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "1998", publisher = "ACM Press", address = "Montreal, Canada", month = jun, urlps = "http://www.ececs.uc.edu/~hwxi/academic/papers/pldi98.ps", urlpdf = "http://www.ececs.uc.edu/~hwxi/academic/papers/pldi98.pdf", pages = "249--257", keywords = "languages", } @TechReport{Birkedal98tr125, author = "Lars Birkedal and Robert Harper", title = "Relational Interpretations of Recursive Types in an Operational Setting", institution = "School of Computer Science, Carnegie Mellon University", year = "1998", number = "CMU-CS-98-125", month = apr, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-125.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-125.ps", annote = "Superseded by \cite{Birkedal99ic}", keywords = "languages", } @InProceedings{Riecke98fool, author = "Jon G. Riecke and Christopher A. Stone", title = "Privacy via Subsumption", booktitle = "Informal Proceedings of the Workshop on Foundations of Object-Oriented Languages", year = "1998", address = "San Diego, California", month = jan, urlps = "http://www.cs.hmc.edu/~stone/papers/fool5.ps", keywords = "languages", } @Book{Milner97book, author = "Robin Milner and Mads Tofte and Robert Harper and David MacQueen", title = "The Definition of {S}tandard {ML} (Revised)", publisher = "MIT Press", year = "1997", keywords = "languages", } @InProceedings{Birkedal97tacs, author = "Lars Birkedal and Robert Harper", title = "Relational Interpretations of Recursive Types in an Operational Setting (Summary)", booktitle = "Proceedings of the International Symposium on Theoretical Aspects of Computer Software", editor = "M. Abadi and T. Ito", year = "1997", address = "Sendai, Japan", month = sep, publisher = "Springer-Verlag LNCS 1281", pages = "458--490", annote = "Superseded by \cite{Birkedal99ic}", urlps = "http://www.cs.cmu.edu/afs/cs/user/birkedal/pub/tacs97.ps.gz", keywords = "languages", } @InProceedings{Bruce97ecoop, author = "Kim B. Bruce and Leaf Petersen and Adrian Fiech", title = "Subtyping Is not a Good ``Match'' for Object-Oriented Languages", booktitle = "Proceedings of the European Conference for Object-Oriented Programming", editor = "M. Aksit and S. Matsuoka", year = "1997", publisher = "Springer-Verlag LNCS 1241", address = "Jyv{\"a}skyl{\"a}, Finnland", month = jun, pages = "104--127", urlabstract = "http://link.springer.de/link/service/series/0558/bibs/1241/12410104.htm", urldvi = "ftp://ftp.cs.williams.edu/pub/kim/LOOM.dvi.gz", urlps = "ftp://ftp.cs.williams.edu/pub/kim/LOOM.ps.gz", keywords = "languages", } @TechReport{Harper97tr147, author = "Robert Harper and Christopher Stone", title = "An Interpretation of {Standard ML} in Type Theory", institution = "School of Computer Science, Carnegie Mellon University", year = "1997", month = jun, number = "CMU-CS-97-147", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-147.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-147.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/ismltt/ismltt.dvi", keywords = "til, languages", } @TechReport{Harper96tr136R, author = "Robert Harper and Chris Stone", title = "A Type-Theoretic Account of {Standard} {ML} 1996 (Version 2)", institution = "School of Computer Science, Carnegie Mellon University", year = "1996", number = "CMU-CS-96-136R", month = sep, urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-136R.ps", keywords = "til, languages", } @TechReport{Despeyroux96tr172, author = "Jo{\"e}lle Despeyroux and Frank Pfenning and Carsten Sch{\"u}rmann", title = "Primitive Recursion for Higher-Order Abstract Syntax", institution = "School of Computer Science, Carnegie Mellon University", year = "1996", number = "CMU-CS-96-172", month = aug, urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-172.ps.gz", keywords = "languages", } @TechReport{Stone96tr136, author = "Chris Stone and Robert Harper", title = "A Type-Theoretic Account of {Standard} {ML} 1996 (Version 1)", institution = "School of Computer Science, Carnegie Mellon University", year = "1996", number = "CMU-CS-96-136", month = may, urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-136.ps", keywords = "til, languages", } @Article{Harper96jfp, author = "Robert Harper and Mark Lillibridge", title = "Operational Interpretations of an Extension of {$F_\omega$} with Control Operators", journal = "Journal of Functional Programming", year = "1996", volume = "6", number = "3", month = may, pages = "393--417", annote = "Revised and expanded version of~\cite{Harper93popl}", urlps = "http://foxnet.cs.cmu.edu/papers/rwh-jfp.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/jfp95.dvi", keywords = "languages, til", } @Article{Harper96ipl, author = "Robert Harper", title = "A Note On ``{A} Simplified Account of Polymorphic References''", journal = "Information Processing Letters", year = "1996", volume = "57", number = "1", month = jan, pages = "15--16", annote = "Clarification of~\cite{Harper94ipl}", urlps = "http://foxnet.cs.cmu.edu/papers/rwh-ipl95.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/refs/ipl-followup.dvi", keywords = "languages", } @Article{Harper94ipl, author = "Rober Harper", title = "A Simplified Account of Polymorphic References", journal = "Information Processing Letters", year = "1994", month = aug, volume = "51", number = "4", pages = "201--206", annote = "Clarification in~\cite{Harper96ipl}", urlps = "http://foxnet.cs.cmu.edu/papers/rwh-ipl94.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/refs/ipl94.dvi", urlabstract = "http://foxnet.cs.cmu.edu/papers/rwh-refs.abstract", keywords = "languages", } @InProceedings{Harper94ml, author = "Robert Harper and Peter Lee and Frank Pfenning and Eugene Rollins", title = "Incremental Recompilation for {Standard} {ML} of {New} {Jersey}", booktitle = "Proceedings of the {ACM} {SIGPLAN} Workshop on {ML} and its Applications", year = "1994", address = "Orlando, Florida", month = jun, pages = "136--147", note = "Proceedings available as INRIA Research Report 2265", urlps = "ftp://ftp.inria.fr/INRIA/Projects/cristal/MLworkshop94/15-harper.ps.Z", keywords = "languages", } @TechReport{Harper94tr116, author = "Robert Harper and Peter Lee and Frank Pfenning and Eugene Rollins", title = "Incremental Recompilation for {S}tandard {ML} of {N}ew {J}ersey", institution = "School of Computer Science, Carnegie Mellon University", year = "1994", number = "CMU-CS-94-116", month = feb, urlps = "http://foxnet.cs.cmu.edu/papers/incremental-recomp.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/incremental-recomp.abstract", annote = "See also~\cite{Harper94ml}", keywords = "languages", } @InProceedings{Harper94popl, author = "Robert Harper and Mark Lillibridge", title = "A Type-Theoretic Approach to Higher-Order Modules with Sharing", booktitle = "Proceedings of the Symposium on Principles of Programming Languages", year = "1994", publisher = "ACM Press", address = "Portland, Oregon", month = jan, pages = "123--137", urlps = "http://foxnet.cs.cmu.edu/papers/mdl-popl94.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/sharing/popl94.dvi", urlabstract = "http://foxnet.cs.cmu.edu/papers/mdl-sharing.abstract", annote = "Extended version available as~\cite{Harper93tr197}", keywords = "til, languages", } @TechReport{Harper93tr197, author = "Robert Harper and Mark Lillibridge", title = "A Type-Theoretic Approach to Higher-Order Modules with Sharing", institution = "School of Computer Science, Carnegie Mellon University", year = "1993", number = "CMU-CS-93-197", month = oct, urlps = "http://foxnet.cs.cmu.edu/papers/mdl-sharing.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/sharing/tr.dvi", urlabstract = "http://foxnet.cs.cmu.edu/papers/mdl-sharing.abstract", keywords = "til, languages", } @Article{Harper93jfp, author = "Robert Harper and Bruce F. Duba and David MacQueen", title = "Typing First-Class Continuations in {ML}", journal = "Journal of Functional Programming", year = "1993", volume = "3", number = "4", month = oct, pages = "465--484", annote = "See also~\cite{Duba91popl}", urlps = "http://foxnet.cs.cmu.edu/papers/rwh-jfp93.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/callcc/jfp.dvi", keywords = "languages", } @TechReport{Harper93tr169, author = "Robert Harper", title = "A Simplified Account of Polymorphic References", institution = "School of Computer Science, Carnegie Mellon University", year = "1993", number = "CMU-CS-93-169", month = jun, urlps = "http://foxnet.cs.cmu.edu/papers/rwh-refs.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/refs/tr.dvi", urlabstract = "http://foxnet.cs.cmu.edu/papers/rwh-refs.abstract", keywords = "languages", } @Article{Harper93toplas, author = "Robert Harper and John C. Mitchell", title = "On the Type Structure of {S}tandard {ML}", journal = "Transactions on Programming Languages and Systems", year = "1993", volume = "15", number = "2", month = apr, pages = "211--252", note = "Earlier version titled ``The Essense of ML'' presented at the {\em Symposium on Principles of Programming Languages}, San Diego, California, January, 1988", urlabstract = "http://www.cs.cmu.edu/~rwh/papers/xml/abstract/index.htm", urlps = "http://www.cs.cmu.edu/~rwh/papers/xml/toplas93.ps", urldvi = "http://www.cs.cmu.edu/~rwh/papers/xml/toplas93.dvi", keywords = "languages", }