1
0
0
(1 - 31 von 38
)
Campus Event Calendar: Frank Pfenning ( in )
domino.mpi-inf.mpg.de
What and Who. Title: Verifying Program Invariants with Refinement Types. Speaker: Frank Pfenning. coming from: Carnegie Mellon University.
CTAN: Beitragende Frank Pfenning
www.ctan.org
Frank Pfenning schedule209. Typeset schedules. Guest Book Sitemap Contact Contact Author Feedback ...
Mobility Reading Group
mrg.doc.ic.ac.uk
Bernardo Toninho, Nobuko Yoshida: Certifying Data in Multiparty Session Types. WadlerFest : Luís Caires, Frank Pfenning, Bernardo Toninho: Linear ...
Frank Pfenning, Types and Programming Languages - PhilPapers
philpapers.org
Types and Programming Languages · Frank Pfenning · Bulletin of Symbolic Logic 10 (2): (2004). Abstract, This article has no ...
Michael Kohlhase & Frank Pfenning, Unification in a A-Calculus with...
philpapers.org
We propose related algorithms for unification and constraint simplification in }F’&, a refinement of the simply-typed A-calculus with subtypes and bounded...
SS > book reviews > Frank Pfenning
www-users.cs.york.ac.uk
home > book reviews > Frank Pfenning. Google > Frank Pfenning. author : Frank Pfenning. Books. Types in Logic Programming
Behavioural Types Workshop
www.dcs.gla.ac.uk
Frank Pfenning, Carnegie Mellon University, USA. (Joint work with Luis Caires and Bernardo Toninho). In prior work, we have developed an interpretation of an ...
Types for Proofs and Programs: LIPIcs Proceedings 19th ...books.google.com › books
books.google.de
Journal of Applied Logic, 4:231–255, Luís Caires and Frank Pfenning. Session types as intuitionistic linear propositions. In P. Gastin and F. Laroussinie, ...
Types in Logic Programming : Frank Pfenning :
www.bookdepository.com
Types in Logic Programming by Frank Pfenningavailable at Book Depository with free delivery worldwide.
Search | arXiv e-print repository
arxiv.org
Parallel Complexity Analysis with Temporal Session Types. Authors: Ankush Das, Jan Hoffmann, Frank Pfenning. Abstract: We study the problem of parametric parallel complexity analysis of concurrent, message-passing programs. To make the analysis local and compositional, it is based on a conservative ...
[ ] Parallel Complexity Analysis with Temporal Session Types
arxiv.org
Das, Jan Hoffmann, Frank Pfenning. (Submitted on 17 Apr ...
Refinement Types for Logical Frameworks and Their ...arxiv.org › cs
arxiv.org
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance. Authors:William Lovas (Carnegie Mellon University), Frank Pfenning ( ...
[ ] Domain-Aware Session Types (Extended Version)
arxiv.org
Title:Domain-Aware Session Types (Extended Version). Authors:Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho. (Submitted on ...
Modeling and Analysis of Information Systems » …
www.mais.informatik.tu-darmstadt.de
In Frank Pfenning, editor, Proceedings of the 21st Conference on Automated Deduction (CADE-21), Lecture Notes in Artificial Intelligence, vol , pp. 231–246, Springer-Verlag, Andreas Schlosser, Christoph Walther, Michael Gonder, and Markus Aderhold. Context Dependent Procedures and Computed Types in VeriFun.
dblp: Polarized Substructural Session Types.
dblp.uni-trier.de
Bibliographic details on Polarized Substructural Session Types.
Frank Pfenning
awards.acm.org
Frank Pfenning · ACM Fellows Germany – CITATION. For contributions to the logical foundations of automatic theorem proving and types for programming ...
The Bulletin of Symbolic Logic, Volume 10
www.math.ucla.edu
B. C. Pierce, Types and programming languages, reviewed by Frank Pfenning, page M. Giaquinto, The search for certainty: a philosophical account of foundations of mathematics, reviewed by Mark Colyvan, page S. Ghilardi and M. Zawadowski, Sheaves, games, and model completions, reviewed by Jaap van Oosten, page 216.
Frank Pfenning - Publications - The Academic Family Treeacademictree.org › robotics › publi...
academictree.org
Year, Citation, Score , Jia L, Gommerstadt H, Pfenning F. Monitors and blame assignment for higher-order session types Acm Sigplan Notices. 51:
A refinement type by any other name | weaselhat
www.weaselhat.com
Frank Pfenning originated the idea of refinement types in his seminal PLDI paper with Tim Freeman. Freeman and Pfenning's refinement ...
CHoCO - Jorge A. Pérezwww.jperez.nl › research › choco
www.jperez.nl
Robert Atkey: Observed Communication Semantics for Classical Processes. · Stephanie Balzer, Frank Pfenning: Manifest Sharing with Session Types. · Luís Caires, ...
Luis Caires (publications) - di - fct/unlctp.di.fct.unl.pt › ~lcaires › papers
ctp.di.fct.unl.pt
Domain-Aware Session Types CONCUR'19 (with Jorge Perez, Frank Pfenning, Bernardo Toninho). Refinement Kinds OOPSLA'19 (with Bernardo Toninho).
Mobility Reading Group
mrg.doc.ic.ac.uk
Linear logic propositions as session types. Luís CAIRES, Frank PFENNING, Bernardo TONINHO. Mathematical Structures in Computer Science. p
Andreia Mordido - Instituto de Telecomunicações
www.it.pt
There, I worked with Professor Frank Pfenning on an expressive class of types for message-passing programs containing constructors for lists, ...
Linear logic propositions as session types | Mathematical Structures...
www.cambridge.org
Linear logic propositions as session types - Volume 26 Issue 3
DROPS - Domain-Aware Session Types
drops.dagstuhl.de
BibTeX - Entry. @InProceedings{caires_et_al:LIPIcs:2019:10941, author = {Lu{\'\i}s Caires and Jorge A. P{\'e}rez and Frank Pfenning and Bernardo Toninho}, ...
[TYPES] Decidability of type reconstruction in predicative ...lists.seas.upenn.edu › pipermail › t...
lists.seas.upenn.edu
Frank Pfenning. On the undecidability of partial polymorphic type reconstruction. Fundamenta Informaticae, 19(1,2): , Preliminary ...
Project Web -- Status
www.cs.princeton.edu
Frank Pfenning. Lecture notes on theorem proving. Frank Pfenning. Lecture notes on linear logic. Use Myer's Java toolkit to extend core Java with linear types, ...
Session types in programming languages---a collection of...
www.simonjf.com
UPDATE AS OF : I have moved this list to the ABCDWebsite,where it will be maintained from now on. As ever, please get in touchwith tool updates, and...
Tim Sheard's home page
web.cecs.pdx.edu
Logical Frameworks -- Bob Harper, Frank Pfenning, and many others. Refinement Types -- Frank Pfenning, Rowan Davies, Tim Freeman, and many others.
Alle Infos zum Namen "Frank Pfenning"
Verwandte Suchanfragen zu Frank Pfenning
| Amal Ahmed Martin Baker Carmen Walter | Andreas Kehrel Tina Aakerlund Claudia Grau | Angelika Reith Ulrike Schüßler-Leiser |
Person "Pfenning" (2) Vorname "Frank" (79403) Name "Pfenning" (256) |
sortiert nach Relevanz / Datum