From 01e16e20e54d29bf34b92df6830847f636915981 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Mon, 6 May 2024 19:21:56 +0200 Subject: [PATCH] more bib stuff --- quox.bib | 167 +++++++++++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 162 insertions(+), 5 deletions(-) diff --git a/quox.bib b/quox.bib index c673ea5..25412e6 100644 --- a/quox.bib +++ b/quox.bib @@ -1,4 +1,4 @@ -% quantitative stuff +% quantitative/modal stuff {{{1 @inproceedings{grtt, author = {Moon, Benjamin and @@ -63,8 +63,118 @@ doi = {10.1145/3209108.3209189} } +@article{frac-uniq, + author = {Marshall, Daniel and Orchard, Dominic}, + title = {Functional Ownership through Fractional Uniqueness}, + year = {2024}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + volume = {8}, + number = {OOPSLA1}, + url = {https://doi.org/10.1145/3649848}, + doi = {10.1145/3649848}, + journal = {Proc. ACM Program. Lang.}, +} -% observational stuff +@article{rustbelt, + author = {Jung, Ralf and + Jourdan, Jacques-Henri and + Krebbers, Robbert and + Dreyer, Derek}, + title = {{RustBelt}: + securing the foundations of the {R}ust programming language}, + year = {2017}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + volume = {2}, + number = {POPL}, + url = {https://doi.org/10.1145/3158154}, + doi = {10.1145/3158154}, + journal = {Proc. ACM Program. Lang.}, +} + +@article{lightweight-rust, + author = {Pearce, David J.}, + title = {A Lightweight Formalism for Reference Lifetimes + and Borrowing in Rust}, + year = {2021}, + publisher = {Association for Computing Machinery}, + volume = {43}, + number = {1}, + url = {https://doi.org/10.1145/3443420}, + doi = {10.1145/3443420}, + journal = {ACM Trans. Program. Lang. Syst.}, +} + +@misc{oxide, + title = {Oxide: The Essence of Rust}, + author = {Aaron Weiss and + Olek Gierczak and + Daniel Patterson and + Amal Ahmed}, + year = {2021}, + eprint = {1903.00982}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL} +} + +@inproceedings{frac-perms, + author = {John Boyland}, + editor = {Radhia Cousot}, + title = {Checking Interference with Fractional Permissions}, + booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, + San Diego, CA, USA, June 11-13, 2003, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {2694}, + pages = {55--72}, + publisher = {Springer}, + year = {2003}, + url = {https://doi.org/10.1007/3-540-44898-5\_4}, + doi = {10.1007/3-540-44898-5\_4}, +} + +@inproceedings{linexp-graded, + title = {Linear Exponentials as Graded Modal Types}, + author = {Hughes, Jack and + Marshall, Daniel and + Wood, James and + Orchard, Dominic}, + url = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271465}, + booktitle = {5th International Workshop on + Trends in Linear Logic and Applications ({TLLA} 2021)}, + year = {2021}, + month = Jun, +} + +@inproceedings{alms, + author = {Tov, Jesse A. and Pucella, Riccardo}, + title = {Practical affine types}, + year = {2011}, + publisher = {Association for Computing Machinery}, + url = {https://users.cs.northwestern.edu/~jesse/pubs/alms/tovpucella-alms.pdf}, + doi = {10.1145/1926385.1926436}, + booktitle = {Proceedings of the 38th Annual ACM SIGPLAN-SIGACT + Symposium on Principles of Programming Languages}, +} + +@inproceedings{rrr, + author = {Daniel Marshall and Dominic Orchard}, + editor = {Marco Carbone and Rumyana Neykova}, + title = {Replicate, Reuse, Repeat: Capturing Non-Linear Communication + via Session Types and Graded Modal Types}, + booktitle = {Proceedings of the 13th International Workshop on Programming + Language Approaches to Concurrency and Communication-cEntric + Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022}, + series = {{EPTCS}}, + volume = {356}, + pages = {1--11}, + year = {2022}, + url = {https://arxiv.org/abs/2203.12875}, + doi = {10.4204/EPTCS.356.1}, +} + + +% observational stuff {{{1 @inproceedings{ott-now, author = {Thorsten Altenkirch and @@ -111,8 +221,15 @@ doi = {10.4230/LIPIcs.FSCD.2019.31} } +@unpublished{cubical-ott, + author = {James Chapman and Fredrik Nordvall Forsberg and Conor {McBride}}, + title = {The Box of Delights (Cubical Observational Type Theory)}, + year = {2018}, + url = {https://github.com/msp-strath/platypus/blob/138daf7/January18/doc/CubicalOTT/CubicalOTT.pdf}, +} -% NbE + +% NbE {{{1 @article{nbe-mltt, title = {Normalization by Evaluation for Martin-Löf Type Theory with @@ -184,7 +301,7 @@ doi = {10.4204/EPTCS.153.4} } -% Misc type stuff +% Misc type stuff {{{1 @article{calf, author = {Niu, Yue and @@ -337,7 +454,45 @@ } -% Misc implementation +% Misc type stuff {{{1 + +@inproceedings{local, + author = {Michael Vollmer and + Chaitanya Koparkar and + Mike Rainey and + Laith Sakka and + Milind Kulkarni and + Ryan R. Newton}, + editor = {Kathryn S. McKinley and + Kathleen Fisher}, + title = {{LoCal}: a language for programs operating on serialized data}, + booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming + Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, + USA, June 22-26, 2019}, + pages = {48--62}, + publisher = {{ACM}}, + year = {2019}, + url = {http://recurial.com/pldi19main.pdf}, + doi = {10.1145/3314221.3314631}, +} + +@article{mlsub-pearl, + author = {Parreaux, Lionel}, + title = {The simple essence of algebraic subtyping: principal type + inference with subtyping made easy (functional pearl)}, + year = {2020}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + volume = {4}, + number = {ICFP}, + url = {https://doi.org/10.1145/3409006}, + doi = {10.1145/3409006}, + journal = {Proc. ACM Program. Lang.}, + month = {aug}, +} + + +% Misc implementation {{{1 @article{expl-sub, author = {Martín Abadi and @@ -412,3 +567,5 @@ url = {https://www.cs.tufts.edu/~nr/cs257/archive/mike-sperber/shift-reset-direct.pdf}, doi = {10.1145/581478.581504}, } + +% vim: set fdm=marker :