Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Pfenning
@article{DBLP:journals/pacmpl/DeYoungMPD24,
author = {Henry DeYoung and
Andreia Mordido and
Frank Pfenning and
Ankush Das},
title = {Parametric Subtyping for Structural Parametric Polymorphism},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {2700--2730},
year = {2024},
url = {https://doi.org/10.1145/3632932},
doi = {10.1145/3632932},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DeYoungMPD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-01428,
author = {Junyoung Jang and
Sophia Roshal and
Frank Pfenning and
Brigitte Pientka},
title = {Adjoint Natural Deduction (Extended Version)},
journal = {CoRR},
volume = {abs/2402.01428},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01428},
doi = {10.48550/ARXIV.2402.01428},
eprinttype = {arXiv},
eprint = {2402.01428},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PfenningP23,
author = {Frank Pfenning and
Klaas Pruiksma},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Relating Message Passing and Shared Memory, Proof-Theoretically},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {3--27},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_1},
doi = {10.1007/978-3-031-35361-1\_1},
timestamp = {Tue, 20 Jun 2023 14:20:30 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PfenningP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChenP23,
author = {Zhibo Chen and
Frank Pfenning},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {A Logical Framework with Higher-Order Rational (Circular) Terms},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {68--88},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_4},
doi = {10.1007/978-3-031-30829-1\_4},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ChenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SaTP23,
author = {Luiz De S{\'{a}} and
Bernardo Toninho and
Frank Pfenning},
editor = {Santiago Escobar and
Vasco T. Vasconcelos},
title = {Intuitionistic Metric Temporal Logic},
booktitle = {International Symposium on Principles and Practice of Declarative
Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023},
pages = {9:1--9:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610612.3610621},
doi = {10.1145/3610612.3610621},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SaTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08581,
author = {Siva Somayyajula and
Frank Pfenning},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Dependent Type Refinements for Futures},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12286},
doi = {10.46298/ENTICS.12286},
timestamp = {Wed, 03 Jan 2024 15:36:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13661,
author = {Henry DeYoung and
Andreia Mordido and
Frank Pfenning and
Ankush Das},
title = {Parametric Subtyping for Structural Parametric Polymorphism},
journal = {CoRR},
volume = {abs/2307.13661},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13661},
doi = {10.48550/ARXIV.2307.13661},
eprinttype = {arXiv},
eprint = {2307.13661},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-07263,
author = {Zhibo Chen and
Frank Pfenning},
title = {A Saturation-Based Unification Algorithm for Higher-Order Rational
Patterns},
journal = {CoRR},
volume = {abs/2312.07263},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.07263},
doi = {10.48550/ARXIV.2312.07263},
eprinttype = {arXiv},
eprint = {2312.07263},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-07263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PruiksmaP22,
author = {Klaas Pruiksma and
Frank Pfenning},
title = {Back to futures},
journal = {J. Funct. Program.},
volume = {32},
pages = {e6},
year = {2022},
url = {https://doi.org/10.1017/S0956796822000016},
doi = {10.1017/S0956796822000016},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/PruiksmaP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GommerstadtJP22,
author = {Hannah Gommerstadt and
Limin Jia and
Frank Pfenning},
title = {Session-typed concurrent contracts},
journal = {J. Log. Algebraic Methods Program.},
volume = {124},
pages = {100731},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100731},
doi = {10.1016/J.JLAMP.2021.100731},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/GommerstadtJP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DasP22,
author = {Ankush Das and
Frank Pfenning},
title = {Rast: {A} Language for Resource-Aware Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:9)2022},
doi = {10.46298/LMCS-18(1:9)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DasP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DerakhshanP22,
author = {Farzaneh Derakhshan and
Frank Pfenning},
title = {Circular Proofs as Session-Typed Processes: {A} Local Validity Condition},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:8)2022},
doi = {10.46298/LMCS-18(2:8)2022},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DerakhshanP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DasDMP22,
author = {Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
title = {Nested Session Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {3},
pages = {19:1--19:45},
year = {2022},
url = {https://doi.org/10.1145/3539656},
doi = {10.1145/3539656},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DasDMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LakhaniDDMP22,
author = {Zeeshan Lakhani and
Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
editor = {Ilya Sergey},
title = {Polarized Subtyping},
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 = {431--461},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_16},
doi = {10.1007/978-3-030-99336-8\_16},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/LakhaniDDMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SomayyajulaP22,
author = {Siva Somayyajula and
Frank Pfenning},
editor = {Amy P. Felty},
title = {Type-Based Termination for Futures},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {12:1--12:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.12},
doi = {10.4230/LIPICS.FSCD.2022.12},
timestamp = {Tue, 28 Jun 2022 15:50:51 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SomayyajulaP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-06321,
author = {Henry DeYoung and
Frank Pfenning},
editor = {Justin Hsu and
Christine Tasson},
title = {Data Layout from a Type-Theoretic Perspective (extended version)},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10507},
doi = {10.46298/ENTICS.10507},
timestamp = {Wed, 03 Jan 2024 15:36:34 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10998,
author = {Zeeshan Lakhani and
Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
title = {Polarized Subtyping},
journal = {CoRR},
volume = {abs/2201.10998},
year = {2022},
url = {https://arxiv.org/abs/2201.10998},
eprinttype = {arXiv},
eprint = {2201.10998},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-06663,
author = {Zhibo Chen and
Frank Pfenning},
title = {A Logical Framework with Higher-Order Rational (Circular) Terms},
journal = {CoRR},
volume = {abs/2210.06663},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.06663},
doi = {10.48550/ARXIV.2210.06663},
eprinttype = {arXiv},
eprint = {2210.06663},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-06663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/PruiksmaP21,
author = {Klaas Pruiksma and
Frank Pfenning},
title = {A message-passing interpretation of adjoint logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {120},
pages = {100637},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100637},
doi = {10.1016/J.JLAMP.2020.100637},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/PruiksmaP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SanoBP21,
author = {Chuta Sano and
Stephanie Balzer and
Frank Pfenning},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Manifestly Phased Communication via Shared Session Types},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {23--40},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_2},
doi = {10.1007/978-3-030-78142-2\_2},
timestamp = {Wed, 09 Jun 2021 09:04:12 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SanoBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DasB0PS21,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning and
Ishani Santurkar},
title = {Resource-Aware Session Types for Digital Contracts},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00004},
doi = {10.1109/CSF51468.2021.00004},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/DasB0PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DasDMP21,
author = {Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
editor = {Nobuko Yoshida},
title = {Nested Session Types},
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 = {178--206},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_7},
doi = {10.1007/978-3-030-72019-3\_7},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/DasDMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ToninhoCP21,
author = {Bernardo Toninho and
Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {A Decade of Dependent Session Types},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {3:1--3:3},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479398},
doi = {10.1145/3479394.3479398},
timestamp = {Tue, 21 Mar 2023 21:03:02 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ToninhoCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06249,
author = {Chuta Sano and
Stephanie Balzer and
Frank Pfenning},
title = {Manifestly Phased Communication via Shared Session Types},
journal = {CoRR},
volume = {abs/2101.06249},
year = {2021},
url = {https://arxiv.org/abs/2101.06249},
eprinttype = {arXiv},
eprint = {2101.06249},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15193,
author = {Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
title = {Subtyping on Nested Polymorphic Session Types},
journal = {CoRR},
volume = {abs/2103.15193},
year = {2021},
url = {https://arxiv.org/abs/2103.15193},
eprinttype = {arXiv},
eprint = {2103.15193},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06024,
author = {Siva Somayyajula and
Frank Pfenning},
title = {Circular Proofs as Processes: Type-Based Termination via Arithmetic
Refinements},
journal = {CoRR},
volume = {abs/2105.06024},
year = {2021},
url = {https://arxiv.org/abs/2105.06024},
eprinttype = {arXiv},
eprint = {2105.06024},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DasP20,
author = {Ankush Das and
Frank Pfenning},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Session Types with Arithmetic Refinements},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {13:1--13:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.13},
doi = {10.4230/LIPICS.CONCUR.2020.13},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DasP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DeYoungPP20,
author = {Henry DeYoung and
Frank Pfenning and
Klaas Pruiksma},
editor = {Zena M. Ariola},
title = {Semi-Axiomatic Sequent Calculus},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {29:1--29:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.29},
doi = {10.4230/LIPICS.FSCD.2020.29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DeYoungPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DasP20,
author = {Ankush Das and
Frank Pfenning},
editor = {Zena M. Ariola},
title = {Rast: Resource-Aware Session Types with Arithmetic Refinements (System
Description)},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {33:1--33:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.33},
doi = {10.4230/LIPICS.FSCD.2020.33},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DasP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DasP20,
author = {Ankush Das and
Frank Pfenning},
title = {Verified Linear Session-Typed Concurrent Programming},
booktitle = {{PPDP} '20: 22nd International Symposium on Principles and Practice
of Declarative Programming, Bologna, Italy, 9-10 September, 2020},
pages = {7:1--7:15},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3414080.3414087},
doi = {10.1145/3414080.3414087},
timestamp = {Thu, 24 Sep 2020 13:03:28 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/DasP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04439,
author = {Ankush Das and
Frank Pfenning},
title = {Session Types with Arithmetic Refinements and Their Application to
Work Analysis},
journal = {CoRR},
volume = {abs/2001.04439},
year = {2020},
url = {https://arxiv.org/abs/2001.04439},
eprinttype = {arXiv},
eprint = {2001.04439},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05132,
author = {Farzaneh Derakhshan and
Frank Pfenning},
title = {Circular Proofs in First-Order Linear Logic with Least and Greatest
Fixed Points},
journal = {CoRR},
volume = {abs/2001.05132},
year = {2020},
url = {https://arxiv.org/abs/2001.05132},
eprinttype = {arXiv},
eprint = {2001.05132},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04607,
author = {Klaas Pruiksma and
Frank Pfenning},
title = {Back to Futures},
journal = {CoRR},
volume = {abs/2002.04607},
year = {2020},
url = {https://arxiv.org/abs/2002.04607},
eprinttype = {arXiv},
eprint = {2002.04607},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05970,
author = {Ankush Das and
Frank Pfenning},
title = {Session Types with Arithmetic Refinements},
journal = {CoRR},
volume = {abs/2005.05970},
year = {2020},
url = {https://arxiv.org/abs/2005.05970},
eprinttype = {arXiv},
eprint = {2005.05970},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06482,
author = {Ankush Das and
Henry DeYoung and
Andreia Mordido and
Frank Pfenning},
title = {Nested Session Types},
journal = {CoRR},
volume = {abs/2010.06482},
year = {2020},
url = {https://arxiv.org/abs/2010.06482},
eprinttype = {arXiv},
eprint = {2010.06482},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13129,
author = {Ankush Das and
Frank Pfenning},
title = {Rast: {A} Language for Resource-Aware Session Types},
journal = {CoRR},
volume = {abs/2012.13129},
year = {2020},
url = {https://arxiv.org/abs/2012.13129},
eprinttype = {arXiv},
eprint = {2012.13129},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CairesPPT19,
author = {Lu{\'{\i}}s Caires and
Jorge A. P{\'{e}}rez and
Frank Pfenning and
Bernardo Toninho},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Domain-Aware Session Types},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {39:1--39:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.39},
doi = {10.4230/LIPICS.CONCUR.2019.39},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/CairesPPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BalzerTP19,
author = {Stephanie Balzer and
Bernardo Toninho and
Frank Pfenning},
editor = {Lu{\'{\i}}s Caires},
title = {Manifest Deadlock-Freedom for Shared Session Types},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {611--639},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_22},
doi = {10.1007/978-3-030-17184-1\_22},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/BalzerTP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-01290,
author = {Klaas Pruiksma and
Frank Pfenning},
editor = {Francisco Martins and
Dominic Orchard},
title = {A Message-Passing Interpretation of Adjoint Logic},
booktitle = {Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric
Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {291},
pages = {60--79},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.291.6},
doi = {10.4204/EPTCS.291.6},
timestamp = {Wed, 29 May 2019 13:01:26 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06056,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning},
title = {Resource-Aware Session Types for Digital Contracts},
journal = {CoRR},
volume = {abs/1902.06056},
year = {2019},
url = {http://arxiv.org/abs/1902.06056},
eprinttype = {arXiv},
eprint = {1902.06056},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01318,
author = {Lu{\'{\i}}s Caires and
Jorge A. P{\'{e}}rez and
Frank Pfenning and
Bernardo Toninho},
title = {Domain-Aware Session Types (Extended Version)},
journal = {CoRR},
volume = {abs/1907.01318},
year = {2019},
url = {http://arxiv.org/abs/1907.01318},
eprinttype = {arXiv},
eprint = {1907.01318},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01909,
author = {Farzaneh Derakhshan and
Frank Pfenning},
title = {Circular Proofs as Session-Typed Processes: {A} Local Validity Condition},
journal = {CoRR},
volume = {abs/1908.01909},
year = {2019},
url = {http://arxiv.org/abs/1908.01909},
eprinttype = {arXiv},
eprint = {1908.01909},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Das0P18,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Parallel complexity analysis with temporal session types},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {91:1--91:30},
year = {2018},
url = {https://doi.org/10.1145/3236786},
doi = {10.1145/3236786},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Das0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BalzerPT18,
author = {Stephanie Balzer and
Frank Pfenning and
Bernardo Toninho},
editor = {Sven Schewe and
Lijun Zhang},
title = {A Universal Session Type for Untyped Asynchronous Communication},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.30},
doi = {10.4230/LIPICS.CONCUR.2018.30},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BalzerPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GommerstadtJP18,
author = {Hannah Gommerstadt and
Limin Jia and
Frank Pfenning},
editor = {Amal Ahmed},
title = {Session-Typed Concurrent Contracts},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {771--798},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_27},
doi = {10.1007/978-3-319-89884-1\_27},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GommerstadtJP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Das0P18,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Work Analysis with Resource-Aware Session Types},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {305--314},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209146},
doi = {10.1145/3209108.3209146},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/Das0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06013,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Parallel Complexity Analysis with Temporal Session Types},
journal = {CoRR},
volume = {abs/1804.06013},
year = {2018},
url = {http://arxiv.org/abs/1804.06013},
eprinttype = {arXiv},
eprint = {1804.06013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BalzerP17,
author = {Stephanie Balzer and
Frank Pfenning},
title = {Manifest sharing with session types},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {37:1--37:29},
year = {2017},
url = {https://doi.org/10.1145/3110281},
doi = {10.1145/3110281},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BalzerP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08310,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Work Analysis with Resource-Aware Session Types},
journal = {CoRR},
volume = {abs/1712.08310},
year = {2017},
url = {http://arxiv.org/abs/1712.08310},
eprinttype = {arXiv},
eprint = {1712.08310},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CairesPT16,
author = {Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
title = {Linear logic propositions as session types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {367--423},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000218},
doi = {10.1017/S0960129514000218},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CairesPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DeYoungP16,
author = {Henry DeYoung and
Frank Pfenning},
editor = {Atsushi Igarashi},
title = {Substructural Proofs as Automata},
booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10017},
pages = {3--22},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47958-3\_1},
doi = {10.1007/978-3-319-47958-3\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DeYoungP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JiaGP16,
author = {Limin Jia and
Hannah Gommerstadt and
Frank Pfenning},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Monitors and blame assignment for higher-order session types},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {582--594},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837662},
doi = {10.1145/2837614.2837662},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JiaGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AcayP17,
author = {Cosku Acay and
Frank Pfenning},
editor = {Naoki Kobayashi},
title = {Intersections and Unions of Session Types},
booktitle = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
{ITRS} 2016, Porto, Portugal, 26th June 2016},
series = {{EPTCS}},
volume = {242},
pages = {4--19},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.242.3},
doi = {10.4204/EPTCS.242.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcayP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SilvaFP17,
author = {Miguel E. P. Silva and
M{\'{a}}rio Florido and
Frank Pfenning},
editor = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {Non-Blocking Concurrent Imperative Programming with Session Types},
booktitle = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
2016, Porto, Portugal, 25 June 2016},
series = {{EPTCS}},
volume = {238},
pages = {64--72},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.238.7},
doi = {10.4204/EPTCS.238.7},
timestamp = {Fri, 22 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SilvaFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WillseyPP17,
author = {Max Willsey and
Rokhini Prabhu and
Frank Pfenning},
editor = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {Design and Implementation of Concurrent {C0}},
booktitle = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
2016, Porto, Portugal, 25 June 2016},
series = {{EPTCS}},
volume = {238},
pages = {73--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.238.8},
doi = {10.4204/EPTCS.238.8},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WillseyPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BalzerP15,
author = {Stephanie Balzer and
Frank Pfenning},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Objects as session-typed processes},
booktitle = {Proceedings of the 5th International Workshop on Programming Based
on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
PA, USA, October 26, 2015},
pages = {13--24},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2824815.2824817},
doi = {10.1145/2824815.2824817},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/BalzerP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PfenningG15,
author = {Frank Pfenning and
Dennis Griffith},
editor = {Andrew M. Pitts},
title = {Polarized Substructural Session Types},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {3--22},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_1},
doi = {10.1007/978-3-662-46678-0\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PfenningG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pfenning15,
author = {Frank Pfenning},
title = {Proof theory and its role in programming language research},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {4:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792438},
doi = {10.1145/2792434.2792438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pfenning15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PerezCPT14,
author = {Jorge A. P{\'{e}}rez and
Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
title = {Linear logical relations and observational equivalences for session-based
concurrency},
journal = {Inf. Comput.},
volume = {239},
pages = {254--302},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.08.001},
doi = {10.1016/J.IC.2014.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PerezCPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Pfenning14,
author = {Frank Pfenning},
title = {\emph{Programming with Higher-Order Logic}, by Dale Miller and Gopalan
Nadathur, Cambridge University Press, 2012, Hardcover, {ISBN-10:}
052187940X, xiv + 306 pp},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {2},
pages = {265--267},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000027},
doi = {10.1017/S1471068414000027},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Pfenning14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CruzRGP14,
author = {Fl{\'{a}}vio Cruz and
Ricardo Rocha and
Seth Copen Goldstein and
Frank Pfenning},
title = {A Linear Logic Programming Language for Concurrent Programming over
Graph Structures},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {493--507},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000167},
doi = {10.1017/S1471068414000167},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CruzRGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/ToninhoCP14,
author = {Bernardo Toninho and
Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Corecursion and Non-divergence in Session-Typed Processes},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {159--175},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_11},
doi = {10.1007/978-3-662-45917-1\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/ToninhoCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CruzRGP14,
author = {Fl{\'{a}}vio Cruz and
Ricardo Rocha and
Seth Copen Goldstein and
Frank Pfenning},
title = {A Linear Logic Programming Language for Concurrent Programming over
Graph Structures},
journal = {CoRR},
volume = {abs/1405.3556},
year = {2014},
url = {http://arxiv.org/abs/1405.3556},
eprinttype = {arXiv},
eprint = {1405.3556},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CruzRGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CairesPPT13,
author = {Lu{\'{\i}}s Caires and
Jorge A. P{\'{e}}rez and
Frank Pfenning and
Bernardo Toninho},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Behavioral Polymorphism and Parametricity in Session-Based Communication},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {330--349},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_19},
doi = {10.1007/978-3-642-37036-6\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CairesPPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ToninhoCP13,
author = {Bernardo Toninho and
Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Higher-Order Processes, Functions, and Sessions: {A} Monadic Integration},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {350--369},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_20},
doi = {10.1007/978-3-642-37036-6\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/ToninhoCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2013,
editor = {Frank Pfenning},
title = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5},
doi = {10.1007/978-3-642-37075-5},
isbn = {978-3-642-37074-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GargP12,
author = {Deepak Garg and
Frank Pfenning},
title = {Stateful authorization logic - Proof theory and a case study},
journal = {J. Comput. Secur.},
volume = {20},
number = {4},
pages = {353--391},
year = {2012},
url = {https://doi.org/10.3233/JCS-2012-0456},
doi = {10.3233/JCS-2012-0456},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GargP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DeYoungCPT12,
author = {Henry DeYoung and
Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {228--242},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.228},
doi = {10.4230/LIPICS.CSL.2012.228},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/DeYoungCPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PerezCPT12,
author = {Jorge A. P{\'{e}}rez and
Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
editor = {Helmut Seidl},
title = {Linear Logical Relations for Session-Based Concurrency},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {539--558},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_27},
doi = {10.1007/978-3-642-28869-2\_27},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/PerezCPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ToninhoCP12,
author = {Bernardo Toninho and
Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Lars Birkedal},
title = {Functions as Session-Typed Processes},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {346--360},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_23},
doi = {10.1007/978-3-642-28729-9\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ToninhoCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/CairesPT12,
author = {Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
editor = {Benjamin C. Pierce},
title = {Towards concurrent type theory},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {1--12},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103788},
doi = {10.1145/2103786.2103788},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/CairesPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SimmonsP11,
author = {Robert J. Simmons and
Frank Pfenning},
title = {Logical approximation for program analysis},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {1-2},
pages = {41--80},
year = {2011},
url = {https://doi.org/10.1007/s10990-011-9071-2},
doi = {10.1007/S10990-011-9071-2},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SimmonsP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/PfenningCT11,
author = {Frank Pfenning and
Lu{\'{\i}}s Caires and
Bernardo Toninho},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Proof-Carrying Code in a Session-Typed Process Calculus},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {21--36},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_4},
doi = {10.1007/978-3-642-25379-9\_4},
timestamp = {Thu, 14 Oct 2021 10:14:33 +0200},
biburl = {https://dblp.org/rec/conf/cpp/PfenningCT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ToninhoCP11,
author = {Bernardo Toninho and
Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Dependent session types via intuitionistic linear type theory},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {161--172},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003499},
doi = {10.1145/2003476.2003499},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ToninhoCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MorgensternGP11,
author = {Jamie Morgenstern and
Deepak Garg and
Frank Pfenning},
editor = {Catherine Meadows and
M. Carmen Fern{\'{a}}ndez Gago},
title = {A Proof-Carrying File System with Revocable and Use-Once Certificates},
booktitle = {Security and Trust Management - 7th International Workshop, {STM}
2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7170},
pages = {40--55},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29963-6\_5},
doi = {10.1007/978-3-642-29963-6\_5},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/stm/MorgensternGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1861,
author = {William Lovas and
Frank Pfenning},
title = {Refinement Types for Logical Frameworks and Their Interpretation as
Proof Irrelevance},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:5)2010},
doi = {10.2168/LMCS-6(4:5)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CairesP10,
author = {Lu{\'{\i}}s Caires and
Frank Pfenning},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Session Types as Intuitionistic Linear Propositions},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {222--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_16},
doi = {10.1007/978-3-642-15375-4\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/CairesP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pfenning10,
author = {Frank Pfenning},
editor = {Berndt M{\"{u}}ller},
title = {Possession as Linear Knowledge},
booktitle = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10,
Edinburgh, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {7},
pages = {1},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/ntkm},
doi = {10.29007/NTKM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Pfenning10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GargP10,
author = {Deepak Garg and
Frank Pfenning},
title = {A Proof-Carrying File System},
booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
2010, Berleley/Oakland, California, {USA}},
pages = {349--364},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SP.2010.28},
doi = {10.1109/SP.2010.28},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/GargP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/GargP10,
author = {Deepak Garg and
Frank Pfenning},
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner},
title = {Stateful Authorization Logic: - Proof Theory and a Case Study},
booktitle = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
pages = {210--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22444-7\_14},
doi = {10.1007/978-3-642-22444-7\_14},
timestamp = {Sat, 19 Oct 2019 20:20:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/GargP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McLaughlinP09,
author = {Sean McLaughlin and
Frank Pfenning},
editor = {Renate A. Schmidt},
title = {Efficient Intuitionistic Theorem Proving with the Polarized Inverse
Method},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {230--244},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_19},
doi = {10.1007/978-3-642-02959-2\_19},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/McLaughlinP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PfenningS09,
author = {Frank Pfenning and
Robert J. Simmons},
title = {Substructural Operational Semantics as Ordered Logic Programming},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.8},
doi = {10.1109/LICS.2009.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PfenningS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SimmonsP09,
author = {Robert J. Simmons and
Frank Pfenning},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Linear logical approximations},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {9--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480949},
doi = {10.1145/1480945.1480949},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SimmonsP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/LovasP09,
author = {William Lovas and
Frank Pfenning},
editor = {Pierre{-}Louis Curien},
title = {Refinement Types as Proof Irrelevance},
booktitle = {Typed Lambda Calculi and Applications, 9th International Conference,
{TLCA} 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5608},
pages = {157--171},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02273-9\_13},
doi = {10.1007/978-3-642-02273-9\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/LovasP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChaudhuriPP08,
author = {Kaustuv Chaudhuri and
Frank Pfenning and
Greg Price},
title = {A Logical Characterization of Forward and Backward Chaining in the
Inverse Method},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {133--177},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9091-0},
doi = {10.1007/S10817-007-9091-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChaudhuriPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NanevskiPP08,
author = {Aleksandar Nanevski and
Frank Pfenning and
Brigitte Pientka},
title = {Contextual modal type theory},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {3},
pages = {23:1--23:49},
year = {2008},
url = {https://doi.org/10.1145/1352582.1352591},
doi = {10.1145/1352582.1352591},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/NanevskiPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ParkPT08,
author = {Sungwoo Park and
Frank Pfenning and
Sebastian Thrun},
title = {A probabilistic language based on sampling functions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {1},
pages = {4:1--4:46},
year = {2008},
url = {https://doi.org/10.1145/1452044.1452048},
doi = {10.1145/1452044.1452048},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ParkPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DeYoungGP08,
author = {Henry DeYoung and
Deepak Garg and
Frank Pfenning},
title = {An Authorization Logic With Explicit Time},
booktitle = {Proceedings of the 21st {IEEE} Computer Security Foundations Symposium,
{CSF} 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008},
pages = {133--145},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSF.2008.15},
doi = {10.1109/CSF.2008.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/DeYoungGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SimmonsP08,
author = {Robert J. Simmons and
Frank Pfenning},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Linear Logical Algorithms},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {336--347},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_28},
doi = {10.1007/978-3-540-70583-3\_28},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/SimmonsP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McLaughlinP08,
author = {Sean McLaughlin and
Frank Pfenning},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional
Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {174--181},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_12},
doi = {10.1007/978-3-540-89439-1\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/McLaughlinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pfenning07,
author = {Frank Pfenning},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Subtyping and intersection types revisited},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {219},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291153},
doi = {10.1145/1291151.1291153},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pfenning07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SaranliP07,
author = {Uluc Saranli and
Frank Pfenning},
title = {Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning
Problems},
booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
2007, 10-14 April 2007, Roma, Italy},
pages = {3705--3710},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROBOT.2007.364046},
doi = {10.1109/ROBOT.2007.364046},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/SaranliP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/BowersBGPR07,
author = {Kevin D. Bowers and
Lujo Bauer and
Deepak Garg and
Frank Pfenning and
Michael K. Reiter},
title = {Consumable Credentials in Linear-Logic-Based Access-Control Systems},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 2007, San Diego, California, USA, 28th February - 2nd March
2007},
publisher = {The Internet Society},
year = {2007},
url = {https://www.ndss-symposium.org/ndss2007/consumable-credentials-linear-logic-based-access-control-systems/},
timestamp = {Mon, 01 Feb 2021 08:42:16 +0100},
biburl = {https://dblp.org/rec/conf/ndss/BowersBGPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Pfenning07,
author = {Frank Pfenning},
editor = {Franz Baader},
title = {On a Logical Foundation for Explicit Substitutions},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {19},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_3},
doi = {10.1007/978-3-540-73449-9\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Pfenning07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Pfenning07,
author = {Frank Pfenning},
editor = {Simona Ronchi Della Rocca},
title = {On a Logical Foundation for Explicit Substitutions},
booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
{TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4583},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73228-0\_1},
doi = {10.1007/978-3-540-73228-0\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Pfenning07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReedP09,
author = {Jason Reed and
Frank Pfenning},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Intuitionistic Letcc via Labelled Deduction},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {91--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.031},
doi = {10.1016/J.ENTCS.2009.02.031},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReedP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LovasP08,
author = {William Lovas and
Frank Pfenning},
editor = {Brigitte Pientka and
Carsten Sch{\"{u}}rmann},
title = {A Bidirectional Refinement Type System for {LF}},
booktitle = {Proceedings of the Second International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen,
Germany, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
pages = {113--128},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.021},
doi = {10.1016/J.ENTCS.2007.09.021},
timestamp = {Thu, 09 Feb 2023 11:15:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LovasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007,
editor = {Frank Pfenning},
title = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3},
doi = {10.1007/978-3-540-73595-3},
isbn = {978-3-540-73594-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriPP06,
author = {Kaustuv Chaudhuri and
Frank Pfenning and
Greg Price},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {A Logical Characterization of Forward and Backward Chaining in the
Inverse Method},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {97--111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_9},
doi = {10.1007/11814771\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/GargP06,
author = {Deepak Garg and
Frank Pfenning},
title = {Non-Interference in Constructive Authorization Logic},
booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006),
5-7 July 2006, Venice, Italy},
pages = {283--296},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSFW.2006.18},
doi = {10.1109/CSFW.2006.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/GargP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/GargBBPR06,
author = {Deepak Garg and
Lujo Bauer and
Kevin D. Bowers and
Frank Pfenning and
Michael K. Reiter},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {A Linear Logic of Authorization and Knowledge},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {297--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_19},
doi = {10.1007/11863908\_19},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/GargBBPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2006,
editor = {Frank Pfenning},
title = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618},
doi = {10.1007/11805618},
isbn = {3-540-36834-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CraryKP05,
author = {Karl Crary and
Aleksey Kliger and
Frank Pfenning},
title = {A monadic analysis of information flow security with mutable state},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
pages = {249--291},
year = {2005},
url = {https://doi.org/10.1017/S0956796804005441},
doi = {10.1017/S0956796804005441},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/CraryKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NanevskiP05,
author = {Aleksandar Nanevski and
Frank Pfenning},
title = {Staged computation with names and necessity},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {893--939},
year = {2005},
url = {https://doi.org/10.1017/S095679680500568X},
doi = {10.1017/S095679680500568X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NanevskiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HarperP05,
author = {Robert Harper and
Frank Pfenning},
title = {On equivalence and canonical forms in the {LF} type theory},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {1},
pages = {61--101},
year = {2005},
url = {https://doi.org/10.1145/1042038.1042041},
doi = {10.1145/1042038.1042041},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HarperP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriP05,
author = {Kaustuv Chaudhuri and
Frank Pfenning},
editor = {Robert Nieuwenhuis},
title = {A Focusing Inverse Method Theorem Prover for First-Order Linear Logic},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {69--83},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_6},
doi = {10.1007/11532231\_6},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GargP05,
author = {Deepak Garg and
Frank Pfenning},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Type-Directed Concurrency},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {6--20},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_5},
doi = {10.1007/11539452\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GargP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriP05,
author = {Kaustuv Chaudhuri and
Frank Pfenning},
editor = {C.{-}H. Luke Ong},
title = {Focusing the Inverse Method for Linear Logic},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {200--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_15},
doi = {10.1007/11538363\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pfenning05,
author = {Frank Pfenning},
editor = {Randy Pollack},
title = {Towards a type theory of contexts},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
pages = {1},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088454.1088455},
doi = {10.1145/1088454.1088455},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pfenning05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ParkPT05,
author = {Sungwoo Park and
Frank Pfenning and
Sebastian Thrun},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A probabilistic language based upon sampling functions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {171--182},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040320},
doi = {10.1145/1040305.1040320},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/ParkPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LopezPPW05,
author = {Pablo L{\'{o}}pez and
Frank Pfenning and
Jeff Polakow and
Kevin Watkins},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Monadic concurrent linear logic programming},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {35--46},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069778},
doi = {10.1145/1069774.1069778},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LopezPPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AndrewsBPBIX04,
author = {Peter B. Andrews and
Chad E. Brown and
Frank Pfenning and
Matthew Bishop and
Sunil Issar and
Hongwei Xi},
title = {{ETPS:} {A} System to Help Students Write Formal Proofs},
journal = {J. Autom. Reason.},
volume = {32},
number = {1},
pages = {75--92},
year = {2004},
url = {https://doi.org/10.1023/B:JARS.0000021871.18776.94},
doi = {10.1023/B:JARS.0000021871.18776.94},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AndrewsBPBIX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Pfenning04,
author = {Frank Pfenning},
editor = {Wei{-}Ngan Chin},
title = {Substructural Operational Semantics and Linear Destination-Passing
Style (Invited Talk)},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {196},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_13},
doi = {10.1007/978-3-540-30477-7\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Pfenning04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/VIICHP04,
author = {Tom Murphy VII and
Karl Crary and
Robert Harper and
Frank Pfenning},
title = {A Symmetric Modal Lambda Calculus for Distributed Computing},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {286--295},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319623},
doi = {10.1109/LICS.2004.1319623},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/VIICHP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DunfieldP04,
author = {Jana Dunfield and
Frank Pfenning},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Tridirectional typechecking},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {281--292},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964025},
doi = {10.1145/964001.964025},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/DunfieldP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AndersonP04,
author = {Penny Anderson and
Frank Pfenning},
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {Verifying Uniqueness in a Logical Framework},
booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
pages = {18--33},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30142-4\_2},
doi = {10.1007/978-3-540-30142-4\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AndersonP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WatkinsCPW08,
author = {Kevin Watkins and
Iliano Cervesato and
Frank Pfenning and
David Walker},
editor = {Carsten Sch{\"{u}}rmann},
title = {Specifying Properties of Concurrent Computations in {CLF}},
booktitle = {Proceedings of the Fourth International Workshop on Logical Frameworks
and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {199},
pages = {67--87},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2007.11.013},
doi = {10.1016/J.ENTCS.2007.11.013},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WatkinsCPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CervesatoP03,
author = {Iliano Cervesato and
Frank Pfenning},
title = {A Linear Spine Calculus},
journal = {J. Log. Comput.},
volume = {13},
number = {5},
pages = {639--688},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.5.639},
doi = {10.1093/LOGCOM/13.5.639},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CervesatoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ColbyCHLP03,
author = {Christopher Colby and
Karl Crary and
Robert Harper and
Peter Lee and
Frank Pfenning},
title = {Automated techniques for provably safe mobile code},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {2},
pages = {1175--1199},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00201-8},
doi = {10.1016/S0304-3975(01)00201-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ColbyCHLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MomiglianoP03,
author = {Alberto Momigliano and
Frank Pfenning},
title = {Higher-order pattern complement and the strict lambda-calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {4},
pages = {493--529},
year = {2003},
url = {https://doi.org/10.1145/937555.937559},
doi = {10.1145/937555.937559},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MomiglianoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PientkaP03,
author = {Brigitte Pientka and
Frank Pfenning},
editor = {Franz Baader},
title = {Optimizing Higher-Order Pattern Unification},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {473--487},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_40},
doi = {10.1007/978-3-540-45085-6\_40},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PientkaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DunfieldP03,
author = {Jana Dunfield and
Frank Pfenning},
editor = {Andrew D. Gordon},
title = {Type Assignment for Intersections and Unions in Call-by-Value Languages},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {250--266},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_16},
doi = {10.1007/3-540-36576-1\_16},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DunfieldP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NanevskiPP03,
author = {Aleksandar Nanevski and
Brigitte Pientka and
Frank Pfenning},
title = {A modal foundation for meta-variables},
booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2003, Uppsala, Sweden, August 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/976571.976582},
doi = {10.1145/976571.976582},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/NanevskiPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThrunGPBSL03,
author = {Sebastian Thrun and
Geoffrey J. Gordon and
Frank Pfenning and
Mary Berna and
Brennan Sellner and
Brad Lisien},
editor = {Georg Gottlob and
Toby Walsh},
title = {A Learning Algorithm for Localizing People Based on Wireless Signal
Strength that Uses Labeled and Unlabeled Data},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1427--1428},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/226.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ThrunGPBSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PetersenHCP03,
author = {Leaf Petersen and
Robert Harper and
Karl Crary and
Frank Pfenning},
editor = {Alex Aiken and
Greg Morrisett},
title = {A type theory for memory allocation and data layout},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {172--184},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604147},
doi = {10.1145/604131.604147},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/PetersenHCP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchurmannP03,
author = {Carsten Sch{\"{u}}rmann and
Frank Pfenning},
editor = {David A. Basin and
Burkhart Wolff},
title = {A Coverage Checking Algorithm for {LF}},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
pages = {120--135},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10930755\_8},
doi = {10.1007/10930755\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchurmannP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/WatkinsCPW03,
author = {Kevin Watkins and
Iliano Cervesato and
Frank Pfenning and
David Walker},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {A Concurrent Logical Framework: The Propositional Fragment},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {355--377},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_23},
doi = {10.1007/978-3-540-24849-1\_23},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/WatkinsCPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2003,
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13639},
doi = {10.1007/B13639},
isbn = {3-540-20102-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CervesatoP02,
author = {Iliano Cervesato and
Frank Pfenning},
title = {A Linear Logical Framework},
journal = {Inf. Comput.},
volume = {179},
number = {1},
pages = {19--75},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2951},
doi = {10.1006/INCO.2001.2951},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CervesatoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AbadiLP02,
author = {Mart{\'{\i}}n Abadi and
Leonid Libkin and
Frank Pfenning},
title = {Editorial},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {3},
pages = {335--335},
year = {2002},
url = {https://doi.org/10.1145/507382.507383},
doi = {10.1145/507382.507383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AbadiLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/ChangCDHLVP02,
author = {Bor{-}Yuh Evan Chang and
Karl Crary and
Margaret DeLap and
Robert Harper and
Jason Liszka and
Tom Murphy VII and
Frank Pfenning},
editor = {Manish Parashar},
title = {Trustless Grid Computing in ConCert},
booktitle = {Grid Computing - {GRID} 2002, Third International Workshop, Baltimore,
MD, USA, November 18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2536},
pages = {112--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36133-2\_11},
doi = {10.1007/3-540-36133-2\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/grid/ChangCDHLVP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pfenning02,
author = {Frank Pfenning},
editor = {Frank Pfenning},
title = {Preface},
booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {2},
pages = {146},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80511-0},
doi = {10.1016/S1571-0661(05)80511-0},
timestamp = {Tue, 06 Dec 2022 14:32:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pfenning02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pfenning02a,
author = {Frank Pfenning},
editor = {Steffen van Bakel},
title = {Invited talk: Tri-Directional Type Checking},
booktitle = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {1},
publisher = {Elsevier},
year = {2002},
url = {http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt\#012},
timestamp = {Tue, 06 Dec 2022 14:21:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pfenning02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfm/2002,
editor = {Frank Pfenning},
title = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfm/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DaviesP01,
author = {Rowan Davies and
Frank Pfenning},
title = {A modal analysis of staged computation},
journal = {J. {ACM}},
volume = {48},
number = {3},
pages = {555--604},
year = {2001},
url = {https://doi.org/10.1145/382780.382785},
doi = {10.1145/382780.382785},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DaviesP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PfenningD01,
author = {Frank Pfenning and
Rowan Davies},
title = {A judgmental reconstruction of modal logic},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {4},
pages = {511--540},
year = {2001},
url = {https://doi.org/10.1017/S0960129501003322},
doi = {10.1017/S0960129501003322},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PfenningD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchurmannDP01,
author = {Carsten Sch{\"{u}}rmann and
Jo{\"{e}}lle Despeyroux and
Frank Pfenning},
title = {Primitive recursion for higher-order abstract syntax},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {1--57},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00418-7},
doi = {10.1016/S0304-3975(00)00418-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchurmannDP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pfenning01,
author = {Frank Pfenning},
title = {Intensionality, Extensionality, and Proof Irrelevance in Modal Type
Theory},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932499},
doi = {10.1109/LICS.2001.932499},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Pfenning01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/Pfenning01,
author = {Frank Pfenning},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Logical Frameworks},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {1063--1147},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50019-9},
doi = {10.1016/B978-044450813-3/50019-9},
timestamp = {Thu, 25 Jul 2019 12:26:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/Pfenning01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0109072,
author = {Alberto Momigliano and
Frank Pfenning},
title = {Higher-Order Pattern Complement and the Strict Lambda-Calculus},
journal = {CoRR},
volume = {cs.LO/0109072},
year = {2001},
url = {https://arxiv.org/abs/cs/0109072},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0109072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0110028,
author = {Robert Harper and
Frank Pfenning},
title = {On Equivalence and Canonical Forms in the {LF} Type Theory},
journal = {CoRR},
volume = {cs.LO/0110028},
year = {2001},
url = {https://arxiv.org/abs/cs/0110028},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0110028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GramlichKP00,
author = {Bernhard Gramlich and
H{\'{e}}l{\`{e}}ne Kirchner and
Frank Pfenning},
title = {Editorial: Strategies in Automated Deduction},
journal = {Ann. Math. Artif. Intell.},
volume = {29},
number = {1-4},
year = {2000},
url = {https://doi.org/10.1023/A:1016668707781},
doi = {10.1023/A:1016668707781},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GramlichKP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Pfenning00,
author = {Frank Pfenning},
title = {Structural Cut Elimination: I. Intuitionistic and Classical Logic},
journal = {Inf. Comput.},
volume = {157},
number = {1-2},
pages = {84--141},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2832},
doi = {10.1006/INCO.1999.2832},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Pfenning00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CervesatoHP00,
author = {Iliano Cervesato and
Joshua S. Hodas and
Frank Pfenning},
title = {Efficient resource management for linear logic proof search},
journal = {Theor. Comput. Sci.},
volume = {232},
number = {1-2},
pages = {133--163},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00173-5},
doi = {10.1016/S0304-3975(99)00173-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CervesatoHP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DaviesP00,
author = {Rowan Davies and
Frank Pfenning},
editor = {Martin Odersky and
Philip Wadler},
title = {Intersection types and computational effects},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
pages = {198--208},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240.351259},
doi = {10.1145/351240.351259},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DaviesP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Pfenning00,
author = {Frank Pfenning},
editor = {Julia L. Lawall},
title = {On the Logical Foundations of Staged Computation (Abstract of Invited
Talk)},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
USA, January 22-23, 2000},
pages = {33},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/328690.328696},
doi = {10.1145/328690.328696},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Pfenning00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Pfenning00,
author = {Frank Pfenning},
editor = {Walid Taha},
title = {Reasoning about Staged Computation},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
International Workshop {SAIG} 2000, Montreal, Canada, September 20,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1924},
pages = {5--6},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45350-4\_3},
doi = {10.1007/3-540-45350-4\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/Pfenning00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2000,
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268},
doi = {10.1145/351268},
isbn = {1-58113-265-4},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoP99,
author = {Alberto Momigliano and
Frank Pfenning},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The Relative Complement Problem for Higher-Order Patterns},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {497--512},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/MomiglianoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PfenningS99,
author = {Frank Pfenning and
Carsten Sch{\"{u}}rmann},
editor = {Harald Ganzinger},
title = {System Description: Twelf - {A} Meta-Logical Framework for Deductive
Systems},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {202--206},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_14},
doi = {10.1007/3-540-48660-7\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PfenningS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MomiglianoP99,
author = {Alberto Momigliano and
Frank Pfenning},
editor = {Danny De Schreye},
title = {The Relative Complement Problem for Higher-Order Patterns},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {380--394},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MomiglianoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XiP99,
author = {Hongwei Xi and
Frank Pfenning},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Dependent Types in Practical Programming},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {214--227},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292560},
doi = {10.1145/292540.292560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/XiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Pfenning99,
author = {Frank Pfenning},
editor = {Gopalan Nadathur},
title = {Logical and Meta-Logical Frameworks (Abstract)},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {206},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_12},
doi = {10.1007/10704567\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Pfenning99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/PolakowP99,
author = {Jeff Polakow and
Frank Pfenning},
editor = {Jean{-}Yves Girard},
title = {Natural Deduction for Intuitionistic Non-communicative Linear Logic},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {295--309},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_21},
doi = {10.1007/3-540-48959-2\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/PolakowP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanvyDP99,
author = {Olivier Danvy and
Belmina Dzafic and
Frank Pfenning},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {On proving syntactic properties of {CPS} programs},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {21--33},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80281-6},
doi = {10.1016/S1571-0661(05)80281-6},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanvyDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolokowP99,
author = {J. Polokow and
Frank Pfenning},
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {Relating Natural Deduction and Sequent Calculus for Intuitionistic
Non-Commutative Linear Logic},
booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {449--466},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80088-4},
doi = {10.1016/S1571-0661(04)80088-4},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolokowP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WicklineLPD98,
author = {Philip Wickline and
Peter Lee and
Frank Pfenning and
Rowan Davies},
title = {Modal Types as Staging Specifications for Run-Time Code Generation},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {8},
year = {1998},
url = {https://doi.org/10.1145/289121.289129},
doi = {10.1145/289121.289129},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/WicklineLPD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HarperP98,
author = {Robert Harper and
Frank Pfenning},
title = {A Module System for a Programming Language Based on the {LF} Logical
Framework},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {5--31},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.5},
doi = {10.1093/LOGCOM/8.1.5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HarperP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SiegP98,
author = {Wilfried Sieg and
Frank Pfenning},
title = {Note by the Guest Editors},
journal = {Stud Logica},
volume = {60},
number = {1},
pages = {1},
year = {1998},
url = {https://doi.org/10.1023/A:1005065031956},
doi = {10.1023/A:1005065031956},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SiegP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pfenning98,
author = {Frank Pfenning},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Reasoning About Deductions in Linear Logic (Abstract of Invited Talk)},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {1--2},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054240},
doi = {10.1007/BFB0054240},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pfenning98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchurmannP98,
author = {Carsten Sch{\"{u}}rmann and
Frank Pfenning},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Automated Theorem Proving in a Simple Meta-Logic for {LF}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {286--300},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054266},
doi = {10.1007/BFB0054266},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchurmannP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WicklineLP98,
author = {Philip Wickline and
Peter Lee and
Frank Pfenning},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Run-time Code Generation and Modal-ML},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {224--235},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277727},
doi = {10.1145/277650.277727},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WicklineLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XiP98,
author = {Hongwei Xi and
Frank Pfenning},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Eliminating Array Bound Checking Through Dependent Types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {249--257},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277732},
doi = {10.1145/277650.277732},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XiP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/PfenningS98,
author = {Frank Pfenning and
Carsten Sch{\"{u}}rmann},
editor = {Thorsten Altenkirch and
Wolfgang Naraschewski and
Bernhard Reus},
title = {Algorithms for Equality and Unification in the Presence of Notational
Definitions},
booktitle = {Types for Proofs and Programs, International Workshop {TYPES} '98,
Kloster Irsee, Germany, March 27-31, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1657},
pages = {179--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48167-2\_13},
doi = {10.1007/3-540-48167-2\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/PfenningS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PfenningS98,
author = {Frank Pfenning and
Carsten Sch{\"{u}}rmann},
editor = {Didier Galmiche},
title = {Algorithms for Equality and Unification in the Presence of Notational
Definitions},
booktitle = {Workshop on Proof Search in Type-Theoretic Languages (in conjunction
with {CADE-15} Conference), Lindau, Germany, July 5, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {17},
pages = {1--13},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)01181-3},
doi = {10.1016/S1571-0661(05)01181-3},
timestamp = {Fri, 11 Nov 2022 14:36:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PfenningS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NarendranPS97,
author = {Paliath Narendran and
Frank Pfenning and
Richard Statman},
title = {On the Unification Problem for Cartesian Closed Categories},
journal = {J. Symb. Log.},
volume = {62},
number = {2},
pages = {636--647},
year = {1997},
url = {https://doi.org/10.2307/2275552},
doi = {10.2307/2275552},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NarendranPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CervesatoP97,
author = {Iliano Cervesato and
Frank Pfenning},
title = {Linear Higher-Order Pre-Unification},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {422--433},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614967},
doi = {10.1109/LICS.1997.614967},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CervesatoP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/DespeyrouxPS97,
author = {Jo{\"{e}}lle Despeyroux and
Frank Pfenning and
Carsten Sch{\"{u}}rmann},
editor = {Philippe de Groote},
title = {Primitive Recursion for Higher-Order Abstract Syntax},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {147--163},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_34},
doi = {10.1007/3-540-62688-3\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/DespeyrouxPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AndrewsBINPX96,
author = {Peter B. Andrews and
Matthew Bishop and
Sunil Issar and
Dan Nesmith and
Frank Pfenning and
Hongwei Xi},
title = {{TPS:} {A} Theorem-Proving System for Classical Type Theory},
journal = {J. Autom. Reason.},
volume = {16},
number = {3},
pages = {321--353},
year = {1996},
url = {https://doi.org/10.1007/BF00252180},
doi = {10.1007/BF00252180},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AndrewsBINPX96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Pfenning96,
author = {Frank Pfenning},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {The Practice of Logical Frameworks},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {119--134},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_33},
doi = {10.1007/3-540-61064-2\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Pfenning96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CervesatoHP96,
author = {Iliano Cervesato and
Joshua S. Hodas and
Frank Pfenning},
editor = {Roy Dyckhoff and
Heinrich Herre and
Peter Schroeder{-}Heister},
title = {Efficient Resource Management for Linear Logic Proof Search},
booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
Leipzig, Germany, March 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1050},
pages = {67--81},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60983-0\_5},
doi = {10.1007/3-540-60983-0\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/CervesatoHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RohwedderP96,
author = {Ekkehard Rohwedder and
Frank Pfenning},
editor = {Hanne Riis Nielson},
title = {Mode and Termination Checking for Higher-Order Logic Programs},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {296--310},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_44},
doi = {10.1007/3-540-61055-3\_44},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/RohwedderP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DowekHKP96,
author = {Gilles Dowek and
Th{\'{e}}r{\`{e}}se Hardin and
Claude Kirchner and
Frank Pfenning},
editor = {Michael J. Maher},
title = {Unification via Explicit Substitutions: The Case of Higher-Order Patterns},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {259--273},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278922},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DowekHKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CervesatoP96,
author = {Iliano Cervesato and
Frank Pfenning},
title = {A Linear Logical Framework},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {264--275},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561339},
doi = {10.1109/LICS.1996.561339},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CervesatoP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DaviesP96,
author = {Rowan Davies and
Frank Pfenning},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {A Modal Analysis of Staged Computation},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {258--270},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237788},
doi = {10.1145/237721.237788},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DaviesP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pfenning95,
author = {Frank Pfenning},
title = {Structural Cut Elimination},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {156--166},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523253},
doi = {10.1109/LICS.1995.523253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Pfenning95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PfenningW95,
author = {Frank Pfenning and
Hao{-}Chi Wong},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {On a modal lambda calculus for {S4}},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {515--534},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)00028-3},
doi = {10.1016/S1571-0661(04)00028-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PfenningW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pfenning94,
author = {Frank Pfenning},
editor = {Alan Bundy},
title = {Elf: {A} Meta-Language for Deductive Systems (System Descrition)},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {811--815},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_66},
doi = {10.1007/3-540-58156-1\_66},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pfenning94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1994,
editor = {Frank Pfenning},
title = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9},
doi = {10.1007/3-540-58216-9},
isbn = {3-540-58216-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Pfenning93,
author = {Frank Pfenning},
title = {On the Undecidability of Partial Polymorphic Type Reconstruction},
journal = {Fundam. Informaticae},
volume = {19},
number = {1/2},
pages = {185--199},
year = {1993},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Pfenning93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NarendranPS93,
author = {Paliath Narendran and
Frank Pfenning and
Richard Statman},
title = {On the Unification Problem for Cartesian Closed Categories},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {57--63},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287600},
doi = {10.1109/LICS.1993.287600},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NarendranPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/MichaylovP93,
author = {Spiro Michaylov and
Frank Pfenning},
title = {Higher-Order Logic Programming as Constraint Logic Programming},
booktitle = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
Rhode Island},
pages = {210--218},
year = {1993},
timestamp = {Fri, 09 Aug 2019 11:23:42 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/MichaylovP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KohlhaseP93,
author = {Michael Kohlhase and
Frank Pfenning},
editor = {Dale Miller},
title = {Unification in a Lambda-Calculus with Intersection Types},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {488--505},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/KohlhaseP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AndrewsBINPX93,
author = {Peter B. Andrews and
Matthew Bishop and
Sunil Issar and
Dan Nesmith and
Frank Pfenning and
Hongwei Xi},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {{TPS:} An Interactive and Automatic Tool for Proving Theorems of Type
Theory},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {366--370},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_148},
doi = {10.1007/3-540-57826-9\_148},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AndrewsBINPX93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/DietzenP92,
author = {Scott Dietzen and
Frank Pfenning},
title = {Higher-Order and Modal Logic as a Framework for Explanation-Based
Generalization},
journal = {Mach. Learn.},
volume = {9},
pages = {23--55},
year = {1992},
url = {https://doi.org/10.1007/BF00993253},
doi = {10.1007/BF00993253},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/DietzenP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PfenningR92,
author = {Frank Pfenning and
Ekkehard Rohwedder},
editor = {Deepak Kapur},
title = {Implementing the Meta-Theory of Deductive Systems},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {537--551},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_190},
doi = {10.1007/3-540-55602-8\_190},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PfenningR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PfenningH92,
author = {John Hannan and
Frank Pfenning},
title = {Compiler Verification in {LF}},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {407--418},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185552},
doi = {10.1109/LICS.1992.185552},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PfenningH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/pfenning92/NadathurP92,
author = {Gopalan Nadathur and
Frank Pfenning},
editor = {Frank Pfenning},
title = {The Type System of a Higher-Order Logic Programming Language},
booktitle = {Types in Logic Programming},
pages = {245--283},
publisher = {The {MIT} Press},
year = {1992},
timestamp = {Tue, 07 Nov 2023 12:00:44 +0100},
biburl = {https://dblp.org/rec/books/mit/pfenning92/NadathurP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/pfenning92/Pfenning92,
author = {Frank Pfenning},
editor = {Frank Pfenning},
title = {Dependent Types in Logic Programming},
booktitle = {Types in Logic Programming},
pages = {285--311},
publisher = {The {MIT} Press},
year = {1992},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/pfenning92/Pfenning92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/pfenning92/P1992,
editor = {Frank Pfenning},
title = {Types in Logic Programming},
publisher = {The {MIT} Press},
year = {1992},
isbn = {0-262-16131-1},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/mit/pfenning92/P1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MillerNPS91,
author = {Dale Miller and
Gopalan Nadathur and
Frank Pfenning and
Andre Scedrov},
title = {Uniform Proofs as a Foundation for Logic Programming},
journal = {Ann. Pure Appl. Log.},
volume = {51},
number = {1-2},
pages = {125--157},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90068-W},
doi = {10.1016/0168-0072(91)90068-W},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MillerNPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PfenningL91,
author = {Frank Pfenning and
Peter Lee},
title = {Metacircularity in the Polymorphic lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {89},
number = {1},
pages = {137--159},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(90)90109-U},
doi = {10.1016/0304-3975(90)90109-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PfenningL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/MichaylovP91,
author = {Spiro Michaylov and
Frank Pfenning},
editor = {Lars{-}Henrik Eriksson and
Lars Halln{\"{a}}s and
Peter Schroeder{-}Heister},
title = {Natural Semantics and Some of Its Meta-Theory in Elf},
booktitle = {Extensions of Logic Programming, Second International Workshop, ELP'91,
Stockholm, Sweden, January 27-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {596},
pages = {299--344},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013612},
doi = {10.1007/BFB0013612},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/MichaylovP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pfenning91,
author = {Frank Pfenning},
title = {Unification and Anti-Unification in the Calculus of Constructions},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {74--85},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151632},
doi = {10.1109/LICS.1991.151632},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Pfenning91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MichaylovP91,
author = {Spiro Michaylov and
Frank Pfenning},
editor = {Charles Consel and
Olivier Danvy},
title = {Compiling the Polymorphic Lambda-Calculus},
booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
USA, June 17-19, 1991},
pages = {285--296},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115865.115896},
doi = {10.1145/115865.115896},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MichaylovP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FreemanP91,
author = {Timothy S. Freeman and
Frank Pfenning},
editor = {David S. Wise},
title = {Refinement Types for {ML}},
booktitle = {Proceedings of the {ACM} SIGPLAN'91 Conference on Programming Language
Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28,
1991},
pages = {268--277},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/113445.113468},
doi = {10.1145/113445.113468},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FreemanP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DietzenP91,
author = {Scott Dietzen and
Frank Pfenning},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {A Declarative Alternative to "Assert" in Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {372--386},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/DietzenP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PfenningN90,
author = {Frank Pfenning and
Dan Nesmith},
editor = {Mark E. Stickel},
title = {Presenting Intuitive Deductions via Symmetric Simplification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {336--350},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_98},
doi = {10.1007/3-540-52885-7\_98},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PfenningN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AndrewsINP90,
author = {Peter B. Andrews and
Sunil Issar and
Dan Nesmith and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {The {TPS} Theorem Proving System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {641--642},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_120},
doi = {10.1007/3-540-52885-7\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AndrewsINP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGMP90,
author = {Amy P. Felty and
Elsa L. Gunter and
Dale Miller and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {Tutorial on Lambda-Prolog},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {682},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_142},
doi = {10.1007/3-540-52885-7\_142},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Pfenning90,
author = {Frank Pfenning},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Types in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {786},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Pfenning90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/DietzenP89,
author = {Scott Dietzen and
Frank Pfenning},
editor = {Alberto Maria Segre},
title = {Higher-Order and Modal Logic as a Framework for Explanation-Based
Generalization},
booktitle = {Proceedings of the Sixth International Workshop on Machine Learning
{(ML} 1989), Cornell University, Ithaca, New York, USA, June 26-27,
1989},
pages = {447--449},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Thu, 05 Dec 2002 12:38:01 +0100},
biburl = {https://dblp.org/rec/conf/icml/DietzenP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pfenning89,
author = {Frank Pfenning},
title = {Elf: {A} Language for Logic Definition and Verified Metaprogramming},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {313--322},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39186},
doi = {10.1109/LICS.1989.39186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Pfenning89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/PfenningP89,
author = {Frank Pfenning and
Christine Paulin{-}Mohring},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Inductively Defined Types in the Calculus of Constructions},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
pages = {209--228},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0040259},
doi = {10.1007/BFB0040259},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/PfenningP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PfenningL89,
author = {Frank Pfenning and
Peter Lee},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {{LEAP:} {A} Language with Eval And Polymorphism},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {345--359},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_46},
doi = {10.1007/3-540-50940-2\_46},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PfenningL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pfenning88,
author = {Frank Pfenning},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Single Axioms in the Implicational Propositional Calculus},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {710--713},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012869},
doi = {10.1007/BFB0012869},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pfenning88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AndrewsINP88,
author = {Peter B. Andrews and
Sunil Issar and
Daniel Nesmith and
Frank Pfenning},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {The {TPS} Theorem Proving System},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {760--761},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012885},
doi = {10.1007/BFB0012885},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AndrewsINP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pfenning88,
author = {Frank Pfenning},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Partial Polymorphic Type Inference and Higher-Order Unification},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {153--163},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62697},
doi = {10.1145/62678.62697},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Pfenning88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PfenningE88,
author = {Frank Pfenning and
Conal Elliott},
editor = {Richard L. Wexelblat},
title = {Higher-Order Abstract Syntax},
booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
1988},
pages = {199--208},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/53990.54010},
doi = {10.1145/53990.54010},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PfenningE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/LeePRS88,
author = {Peter Lee and
Frank Pfenning and
Gene Rollins and
William L. Scherlis},
editor = {Peter B. Henderson},
title = {The Ergo Support System: An Integrated Set of Tools for Prototyping
Integrated Environments},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {25--34},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65006},
doi = {10.1145/64135.65006},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/LeePRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/NordP88,
author = {Robert L. Nord and
Frank Pfenning},
editor = {Peter B. Henderson},
title = {The Ergo Attribute System},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {110--120},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65014},
doi = {10.1145/64135.65014},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sde/NordP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AndrewsPIK86,
author = {Peter B. Andrews and
Frank Pfenning and
Sunil Issar and
Carl P. Klapper},
editor = {J{\"{o}}rg H. Siekmann},
title = {The {TPS} Theorem Proving System},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {663--664},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_128},
doi = {10.1007/3-540-16780-3\_128},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/AndrewsPIK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pfenning84,
author = {Frank Pfenning},
editor = {Robert E. Shostak},
title = {Analytic and Non-analytic Proofs},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {394--413},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_23},
doi = {10.1007/978-0-387-34768-4\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pfenning84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 05:40 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:
