default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Harley Eades III
@article{DBLP:journals/corr/abs-2401-17199,
author = {Victoria Vollmer and
Danielle Marshall and
Harley Eades III and
Dominic Orchard},
title = {A Mixed Linear and Graded Logic: Proofs, Terms, and Models},
journal = {CoRR},
volume = {abs/2401.17199},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17199},
doi = {10.48550/ARXIV.2401.17199},
eprinttype = {arXiv},
eprint = {2401.17199},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HanukaevE23,
author = {Peter Hanukaev and
Harley Eades III},
editor = {Youyou Cong and
Pierre{-}{\'{E}}variste Dagand},
title = {Combining Dependency, Grades, and Adjoint Logic},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe 2023, Seattle, WA, USA, 4 September 2023},
pages = {58--70},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609027.3609408},
doi = {10.1145/3609027.3609408},
timestamp = {Thu, 21 Sep 2023 11:20:08 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HanukaevE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09563,
author = {Peter Hanukaev and
Harley Eades III},
title = {Combining dependency, grades, and adjoint logic},
journal = {CoRR},
volume = {abs/2307.09563},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09563},
doi = {10.48550/ARXIV.2307.09563},
eprinttype = {arXiv},
eprint = {2307.09563},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09563.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChoudhuryEW22,
author = {Pritam Choudhury and
Harley Eades III and
Stephanie Weirich},
editor = {Ilya Sergey},
title = {A Dependent Dependency Calculus},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {403--430},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_15},
doi = {10.1007/978-3-030-99336-8\_15},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChoudhuryEW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11040,
author = {Pritam Choudhury and
Harley Eades III and
Stephanie Weirich},
title = {A Dependent Dependency Calculus (Extended Version)},
journal = {CoRR},
volume = {abs/2201.11040},
year = {2022},
url = {https://arxiv.org/abs/2201.11040},
eprinttype = {arXiv},
eprint = {2201.11040},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChoudhuryEEW21,
author = {Pritam Choudhury and
Harley Eades III and
Richard A. Eisenberg and
Stephanie Weirich},
title = {A graded dependent type system with a usage-aware semantics},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3434331},
doi = {10.1145/3434331},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChoudhuryEEW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoonEO21,
author = {Benjamin Moon and
Harley Eades III and
Dominic Orchard},
editor = {Nobuko Yoshida},
title = {Graded Modal Dependent Type Theory},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {462--490},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_17},
doi = {10.1007/978-3-030-72019-3\_17},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/MoonEO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EadesP20,
author = {Harley Eades III and
Valeria de Paiva},
title = {Multiple conclusion linear logic: cut elimination and more},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {157--174},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa006},
doi = {10.1093/LOGCOM/EXAA006},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EadesP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2001-10274,
author = {Dominic Orchard and
Philip Wadler and
Harley Eades III},
editor = {Max S. New and
Sam Lindley},
title = {Unifying graded and parameterised monads},
booktitle = {Proceedings Eighth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020},
series = {{EPTCS}},
volume = {317},
pages = {18--38},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.317.2},
doi = {10.4204/EPTCS.317.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gramsec/2020,
editor = {Harley Eades III and
Olga Gadyatskaya},
title = {Graphical Models for Security - 7th International Workshop, GraMSec
2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12419},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62230-5},
doi = {10.1007/978-3-030-62230-5},
isbn = {978-3-030-62229-9},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gramsec/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08854,
author = {Harley Eades III and
Dominic Orchard},
title = {Grading Adjoint Logic},
journal = {CoRR},
volume = {abs/2006.08854},
year = {2020},
url = {https://arxiv.org/abs/2006.08854},
eprinttype = {arXiv},
eprint = {2006.08854},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13163,
author = {Benjamin Moon and
Harley Eades III and
Dominic Orchard},
title = {Graded Modal Dependent Type Theory},
journal = {CoRR},
volume = {abs/2010.13163},
year = {2020},
url = {https://arxiv.org/abs/2010.13163},
eprinttype = {arXiv},
eprint = {2010.13163},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04070,
author = {Pritam Choudhury and
Harley Eades III and
Richard A. Eisenberg and
Stephanie C. Weirich},
title = {A graded dependent type system with a usage-aware semantics (extended
version)},
journal = {CoRR},
volume = {abs/2011.04070},
year = {2020},
url = {https://arxiv.org/abs/2011.04070},
eprinttype = {arXiv},
eprint = {2011.04070},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/OrchardLE19,
author = {Dominic Orchard and
Vilem{-}Benjamin Liepelt and
Harley Eades III},
title = {Quantitative program reasoning with graded modal types},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {110:1--110:30},
year = {2019},
url = {https://doi.org/10.1145/3341714},
doi = {10.1145/3341714},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/OrchardLE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gramsec/EadesJB18,
author = {Harley Eades III and
Jiaming Jiang and
Aubrey Bryant},
editor = {George Cybenko and
David J. Pym and
Barbara Fila},
title = {On Linear Logic, Functional Programming, and Attack Trees},
booktitle = {5th International Workshop on Graphical Models for Security, held
in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC
2018, Oxford, UK, July 8, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11086},
pages = {71--89},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-15465-3\_5},
doi = {10.1007/978-3-030-15465-3\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/gramsec/EadesJB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/PaivaE18,
author = {Valeria de Paiva and
Harley Eades III},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Dialectica Categories for the Lambek Calculus},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {256--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_16},
doi = {10.1007/978-3-319-72056-2\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/PaivaE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-06847,
author = {Jiaming Jiang and
Harley Eades III and
Valeria de Paiva},
editor = {Thomas Ehrhard and
Maribel Fern{\'{a}}ndez and
Valeria de Paiva and
Lorenzo Tortora de Falco},
title = {On the Lambek Calculus with an Exchange Modality},
booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends
in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
UK, 7-8 July 2018},
series = {{EPTCS}},
volume = {292},
pages = {43--89},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.292.4},
doi = {10.4204/EPTCS.292.4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-06883,
author = {Valeria de Paiva and
Harley Eades III},
title = {Dialectica Categories for the Lambek Calculus},
journal = {CoRR},
volume = {abs/1801.06883},
year = {2018},
url = {http://arxiv.org/abs/1801.06883},
eprinttype = {arXiv},
eprint = {1801.06883},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-06883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-06886,
author = {Harley Eades III},
title = {An Intuitionistic Linear Logical Semantics of {SAND} Attack Trees},
journal = {CoRR},
volume = {abs/1801.06886},
year = {2018},
url = {http://arxiv.org/abs/1801.06886},
eprinttype = {arXiv},
eprint = {1801.06886},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-06886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/PaivaE17,
author = {Valeria de Paiva and
Harley Eades III},
title = {Constructive Temporal Logic, Categorically},
journal = {{FLAP}},
volume = {4},
number = {4},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/PaivaE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-05896,
author = {Harley Eades III and
Gianluigi Bellin},
title = {A Cointuitionistic Adjoint Logic},
journal = {CoRR},
volume = {abs/1708.05896},
year = {2017},
url = {http://arxiv.org/abs/1708.05896},
eprinttype = {arXiv},
eprint = {1708.05896},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-05896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EadesSM16,
author = {Harley Eades III and
Aaron Stump and
Ryan McCleeary},
title = {Dualized Simple Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:2)2016},
doi = {10.2168/LMCS-12(3:2)2016},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EadesSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/EadesP16,
author = {Harley Eades III and
Valeria de Paiva},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiple Conclusion Linear Logic: Cut Elimination and More},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {90--105},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_7},
doi = {10.1007/978-3-319-27683-0\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/EadesP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EadesS13,
author = {Harley Eades III and
Aaron Stump},
editor = {Ugo de'Liguoro and
Alexis Saurin},
title = {Hereditary Substitution for the {\(\lambda\)}{\(\Delta\)}-Calculus},
booktitle = {Proceedings First Workshop on Control Operators and their Semantics,
{COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
series = {{EPTCS}},
volume = {127},
pages = {45--65},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.127.4},
doi = {10.4204/EPTCS.127.4},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EadesS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
author = {Garrin Kimmell and
Aaron Stump and
Harley D. Eades III and
Peng Fu and
Tim Sheard and
Stephanie Weirich and
Chris Casinghino and
Vilhelm Sj{\"{o}}berg and
Nathan Collins and
Ki Yung Ahn},
editor = {Koen Claessen and
Nikhil Swamy},
title = {Equational reasoning about programs with general recursion and call-by-value
semantics},
booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
pages = {15--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103776.2103780},
doi = {10.1145/2103776.2103780},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/StumpRTLEOZ12,
author = {Aaron Stump and
Andrew Reynolds and
Cesare Tinelli and
Austin Laugesen and
Harley Eades III and
Corey Oliver and
Ruoyu Zhang},
editor = {David Pichardie and
Tjark Weber},
title = {{LFSC} for {SMT} Proofs: Work in Progress},
booktitle = {Proceedings of the Second International Workshop on Proof Exchange
for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {878},
pages = {21--27},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-878/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/StumpRTLEOZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2923,
author = {Vilhelm Sj{\"{o}}berg and
Chris Casinghino and
Ki Yung Ahn and
Nathan Collins and
Harley D. Eades III and
Peng Fu and
Garrin Kimmell and
Tim Sheard and
Aaron Stump and
Stephanie Weirich},
editor = {James Chapman and
Paul Blain Levy},
title = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type
Systems},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {112--162},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.9},
doi = {10.4204/EPTCS.76.9},
timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 01:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
