Skip to content

S
softlab-thesis
Commit a55aba05 authored by Achilles Benetopoulos's avatar Achilles Benetopoulos
Browse files
Options

Update bibliography

parent 979089c9
Hide whitespace changes
Inline Side-by-side
Showing with 102 additions and 187 deletions
thesis.bib
View file @ a55aba05
@article{church-1932-spfl,
author="A. Church",
title="A Set of Postulates for the Foundations of Logic",
journal="Annals of Mathematics",
volume=33,
pages="346--366",
number=1,
year=1932
}
@article{church-1933-spfl,
author="A. Church",
title="A Set of Postulates for the Foundations of Logic",
journal="Annals of Mathematics",
volume=34,
pages="839--864",
number=2,
year=1933
}
@phdthesis{girard-1972-ifecaos,
author="J.-Y. Girard",
title="Interpr{\'e}tation Fonctionelle et {\'E}limination des "
# "Coupures Dans l'Arithm{\'e}tique d'Ordre Sup{\'e}rieur",
school="Universit{\'e} Paris 7",
year=1972
}
@article{girard-1989-pt,
author="J.-Y. Girard and Y. Lafont and P. Taylor",
title="Proofs and Types",
journal="Tracks in Theoretical Computer Science",
year=1989
}
@inproceedings{reynolds-1974-ttts,
author="John. C. Reynolds",
title="Towards a Theory of Type Systems",
booktitle="Lecture Notes in Computer Science",
year=1974,
editor="Ehring et al.",
volume=19,
pages="408--425",
publisher="Springer-Verlag"
}
@article{boehm-1985-astlpta,
author="C. B{\"o}hm and A. Bernarducci",
title="Automatic Synthesis of Typed $\lambda$-Programs on Term "
# "Algebras",
journal="Theoretical Computer Science",
volume=39,
number="2--3",
pages="135--154",
month=aug,
year=1985
}
@phdthesis{paulin-1989-epscc,
author="C. Paulin-Mohring",
title="Extraction de Programmes Dans le Calcul des Constructions",
month=jan,
school="Universit{\'e} Paris 7",
year=1989,
url="http://www.lri.fr/~paulin/these.ps.gz"
}
@inproceedings{pfenning-1990-pmfps,
author="F. Pfenning and C. Paulin-Mohring",
booktitle="Proceedings of Mathematical Foundations of "
# "Programming Semantics",
note="technical report CMU-CS-89-209",
publisher="Springer-Verlag",
address = "Berlin",
series="Lecture Notes in Computer Science",
volume=442,
title="Inductively defined types in the Calculus of Constructions",
year=1990
}
@incollection{paulin-1993-iddcrp,
author= "Christine Paulin-Mohring",
title = "Inductive Definitions in the System {Coq}: Rules and Properties",
booktitle = "Proceedings of the 1st Int.\ Conf.\ on Typed Lambda Calculi "
# "and Applications, {TLCA}'93, Utrecht, The Netherlands, "
# "16--18 March 1993",
volume = 664,
publisher = "Springer-Verlag",
address = "Berlin",
editor = "M. Bezem and J. F. Groote",
pages = "328--345",
year = 1993,
url = "citeseer.nj.nec.com/paulin-mohring92inductive.html"
}
@InProceedings{shao-2002-tscb,
author = "Z. Shao and B. Saha and V. Trifonov and N. Papaspyrou",
title = "A Type System for Certified Binaries",
booktitle = "Proceedings of the 29th Annual Symposium on Principles of "
# "Programming Languages (POPL 2002)",
year = 2002,
pages = "217--232",
address = "Portland, OR, USA",
month = jan
}
@InProceedings{sellink-1994-vpaptt,
author = "M. P. A. Sellink",
title = "Verifying process algebra proofs in type theory",
booktitle = "Proceedings of the International Workshop on Semantics "
# " of Specipication Languages (SOSL 1993)",
year = 1994,
editor = "D. J. Andrews and J. F. Groote and C. A. Middelburg",
publisher = "Springer"
}
@inproceedings{necula-1997-pcc,
author="G. Necula",
title="Proof-Carrying Code",
booktitle="Proceedings of the 24th Annual Symposium on Principles of "
# "Programming Languages (POPL 1997)",
pages="106--119",
publisher="ACM Press",
address="New York",
year=1997,
month=jan
}
@inproceedings{necula-1996-skertc,
author="G. Necula and P. Lee",
title="Safe Kernel Extensions without Run-Time Checking",
booktitle="Proceedings of the 2nd USENIX Symposium on Operating "
# "System Design and Implementation",
year="1996",
publisher="USENIX Association",
pages="229--243"
}
@phdthesis{necula-1998-cp,
title = "Compiling with Proofs",
author = "G. Necula",
school = "Carnegie Mellon University",
year = 1998,
month=sep,
number = "CMU-CS-98-154"
}
@inproceedings{appel-2000-smtmipcc,
author="Andrew W. Appel and Amy P. Felty",
title="A Semantic Model of Types and Machine Instructions for "
# "Proof-Carrying Code",
booktitle="Proceedings of the 27th Annual Symposium on Principles of "
# "Programming Languages (POPL 2000)",
year=2000,
publisher = "ACM Press",
pages="243--253"
}
@InProceedings{appel-2001-fpcc,
author = "A. W. Appel",
title = "Foundational Proof-Carrying Code",
booktitle = "Proceedings of the 16th Annual IEEE Symposium on "
# "Logic in Computer Science",
pages = "247--258",
year = 2001,
month = jun
}
@inproceedings{harper-1995-cpita,
author="Robert Harper and Greg Morrisett",
title="Compiling Polymorphism Using Intensional Type Analysis",
booktitle="Proceedings of the 22nd Annual Symposium on Principles of "
# "Programming Languages (POPL 1995)",
publisher="ACM Press",
year="1995",
pages="130--141"
}
@inproceedings{morrisett-1998-sftal,
author="Greg Morrisett and David Walker and Karl Crary and Neal Glew",
title="From {S}ystem {F} to Typed Assembly Language",
booktitle="Proceedings of the 25th Annual Symposium on Principles of "
# "Programming Languages (POPL 1998)",
pages="85--97",
publisher="ACM Press",
year=1998,
month=jan
@misc{dialyzer-reference-manual,
author="Ericsson AB",
title="Dialyzer Reference Manual",
month="May",
year=2019,
url="http://erlang.org/doc/apps/dialyzer/dialyzer.pdf"
}
@article{practical-success-typings,
author="T. Lindahl, K. Sagonas",
title="Practical Type Inference Based on Success Typings",
year=2006
}
@article{session-types-overview,
title="Sessions and Session Types: an Overview",
author="M. Dezani-Ciancaglini, U. de’Liguoro",
year=2009
}
@article{session-typing-featherweight-erlang,
title="Session Typing for a Featherweight Erlang",
author="D. Mostrous, V.Vasconselos",
year=2011
}
@inproceedings{effects-as-sessions-as-effects,
author="D. Orchard, N.Yoshida",
title="Effects as Sessions, Sessions as Effects",
booktitle="Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
2016)",
publisher="ACM New York",
year=2016,
pages="568--581"
}
@inproceedings{lsp-scala,
author = {Alceste Scalas and Nobuko Yoshida},
title = {{Lightweight Session Programming in Scala}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {21:1--21:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6115},
URN = {urn:nbn:de:0030-drops-61156},
doi = {10.4230/LIPIcs.ECOOP.2016.21},
annote = {Keywords: session types, Scala, concurrency}
}
@inproceedings{polymorphic-effect-systems,
author = {Lucassen, J. M. and Gifford, D. K.},
title = {Polymorphic Effect Systems},
booktitle = {Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
series = {POPL '88},
year = {1988},
isbn = {0-89791-252-7},
location = {San Diego, California, USA},
pages = {47--57},
numpages = {11},
url = {http://doi.acm.org/10.1145/73560.73564},
doi = {10.1145/73560.73564},
acmid = {73564},
publisher = {ACM},
address = {New York, NY, USA}
}
@phdthesis{singleton-kinds-types,
author="C. A. Stone",
title="Singleton Kinds and Singleton Types",
year=2000
}
@inproceedings{session-types-benefits,
author = {Laura Voinea, A and J. Gay, Simon},
year = {2016},
month = {11},
pages = {26-29},
title = {Benefits of session types for software development},
doi = {10.1145/3001878.3001883}
}
@book{types-and-prog-langs,
author = {Pierce, Benjamin C.},
title = {Types and Programming Languages},
year = {2002},
isbn = {0262162091, 9780262162098},
edition = {1st},
publisher = {The MIT Press}
}
@book{advanced-types-and-prog-langs,
author = {Pierce, Benjamin C.},
title = {Advanced Topics in Types and Programming Languages},
year = {2004},
isbn = {0262162288},
publisher = {The MIT Press}
}
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