Commit 7bb4f0a7 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typo

parent 1cfec5a7
......@@ -89,5 +89,8 @@ typing. Nevertheless, our approach has an edge on systems that do not
account for polymorphism.
\iflongversion
This needs a whole gamut of non trivial research that we plan to
develop in the near future.
develop in the near future building on the work on polymorphic types
for semantic subtyping~\cite{CX11} and the research on the definition of
polymophic languages with set-theoretic types
by~\citet{polyduce2,polyduce1,CPN16} and \citet{Pet19phd}.
\fi
......@@ -117,7 +117,7 @@ author = "Wright, Andrew K. and Felleisen, Matthias",
@inproceedings{THF08,
author = {Tobin-Hochstadt, Sam and Felleisen, Matthias},
title = {The Design and Implementation of Typed Scheme},
booktitle = {Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
booktitle = {Proceedings of the 35th Annual ACM SIGPLAN Symposium on Principles of Programming Languages},
series = {POPL '08},
year = {2008},
isbn = {978-1-59593-689-9},
......@@ -169,29 +169,75 @@ url={http://www.cduce.org/papers/frisch_phd.pdf}
}
@article{Cas15,
author = {Giuseppe Castagna},
title = {Covariance and Contravariance: a fresh look at an
old issue (a primer in advanced type systems for
learning functional programmers)},
journal = {Logical Methods in Computer Science},
NUMBER = {16},
issue = {1},
author = {Giuseppe Castagna},
title = {Covariance and Controvariance: a fresh look at an old issue (a primer
in advanced type systems for learning functional programmers)},
volume = {16},
number = {1},
doi = {10.23638/LMCS-16(1:15)2020},
journal = {Logical Methods in Computer Science},
DMI-CATEGORY = {jour},
pages = {15:1--15:58},
year = {2020},
year = {2020},
}
@PhdThesis{Pet19phd,
author = {Tommaso Petrucciani},
title = {Polymorphic Set-Theoretic Types for Functional Languages},
school = {Joint Ph.D.\ Thesis, Università di Genova and Université Paris Diderot},
month = mar,
url = {https://tel.archives-ouvertes.fr/tel-02119930},
year = 2019,
note = {Available at \url{https://tel.archives-ouvertes.fr/tel-02119930}},
}
@inproceedings{CPN16,
AUTHOR = {G. Castagna and T. Petrucciani and K. Nguyen},
TITLE = {Set-Theoretic Types for Polymorphic Variants},
BOOKTITLE = {ICFP\,'16, 21st ACM SIGPLAN International Conference on Functional Programming},
PAGES = {378-391},
MONTH = sep,
doi = {10.1145/2951913.2951928},
YEAR = {2016},
}
@inproceedings{polyduce1,
AUTHOR = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Hyeonseung Im and Sergueï Lenglet and Luca Padovani},
AUTHOR = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Hyeonseung Im and Sergue\"{\i} Lenglet and Luca Padovani},
TITLE = {Polymorphic Functions with Set-Theoretic Types. {Part 1}: Syntax, Semantics, and Evaluation},
BOOKTITLE = {POPL\,'14, 41st ACM Symposium on Principles of Programming Languages},
BOOKTITLE = {Proceedings of the 41st Annual {ACM} {SIGPLAN} Symposium on Principles of Programming Languages},
series = {{POPL}\'14},
doi = {10.1145/2676726.2676991},
YEAR = {2014},
PAGES = {5--17},
MONTH = jan,
FILE = polydeuces-part1.pdf,
SLIDES = polydeuces-slides.pdf,
}
@INPROCEEDINGS{CX11,
AUTHOR = {G. Castagna and Z. Xu},
TITLE = {Set-theoretic Foundation of Parametric Polymorphism and Subtyping},
BOOKTITLE = {ICFP\,'11: 16th {ACM-SIGPLAN} International Conference on Functional Programming},
doi = {10.1145/2034773.2034788},
YEAR = {2011},
PAGES = {94-106},
}
@inproceedings{polyduce2,
author = {Castagna, Giuseppe and Nguyen, Kim and Xu, Zhiwu and Abate, Pietro},
title = {Polymorphic functions with set-theoretic types. {Part 2}: local type inference and type reconstruction},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN} Symposium on Principles of Programming Languages},
series = {{POPL} '15},
year = {2015},
pages = {289--302},
doi = {10.1145/2676726.2676991},
month = jan,
}
@article{CL17,
author = {Castagna, Giuseppe and Lanvin, Victor},
title = {Gradual Typing with Union and Intersection Types},
......@@ -228,9 +274,9 @@ url={http://www.cduce.org/papers/frisch_phd.pdf}
TITLE = {Gradual Typing: a New Perspective},
JOURNAL = {Proc.\ ACM Program.\ Lang.},
VOLUME = {3, Article 16},
NUMBER = {POPL\,'19 46nd ACM Symposium on Principles of Programming Languages},
url = {http://doi.acm.org/10.1145/3290329},
YEAR = {2019},
NUMBER = {POPL\,'19 46th ACM Symposium on Principles of Programming Languages},
doi = {10.1145/3290329},
YEAR = {2019},
}
......@@ -264,7 +310,7 @@ url={http://www.cduce.org/papers/frisch_phd.pdf}
@inproceedings{takikawa2016sound,
author = {Takikawa, Asumu and Feltey, Daniel and Greenman, Ben and New, Max S. and Vitek, Jan and Felleisen, Matthias},
title = {Is Sound Gradual Typing Dead?},
booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN Symposium on Principles of Programming Languages},
series = {POPL '16},
year = {2016},
isbn = {978-1-4503-3549-2},
......@@ -337,7 +383,7 @@ publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2103656.2103686},
doi = {10.1145/2103656.2103686},
booktitle = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
booktitle = {Proceedings of the 39th Annual ACM SIGPLAN Symposium on Principles of Programming Languages},
pages = {231–244},
numpages = {14},
keywords = {dynamic languages, refinement types},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment