Rezultati pretrage - Pfenning, Frank

Circular Proofs as Session-Typed Processes: A Local Validity Condition od Derakhshan, Farzaneh, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Session Types with Arithmetic Refinements and Their Application to Work Analysis od Das, Ankush, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs od Derakhshan, Farzaneh, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Back to Futures od Pruiksma, Klaas, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Session Types with Arithmetic Refinements od Das, Ankush, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Rast: A Language for Resource-Aware Session Types od Das, Ankush, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Type-Based Termination for Futures od Somayyajula, Siva, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

A Logical Framework with Higher-Order Rational (Circular) Terms od Chen, Zhibo, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Dependent Type Refinements for Futures od Somayyajula, Siva, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns od Chen, Zhibo, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

CoLF Logic Programming as Infinitary Proof Exploration od Chen, Zhibo, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Ordered Adjoint Logic od Roshal, Sophia, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Data Layout from a Type-Theoretic Perspective od DeYoung, Henry, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Manifestly Phased Communication via Shared Session Types od Sano, Chuta, Balzer, Stephanie, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference od Gouni, Hemant, Pfenning, Frank, Aldrich, Jonathan

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Substructural Parametricity od Aberlé, C. B., Martens, Chris, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Adjoint Natural Deduction (Extended Version) od Jang, Junyoung, Roshal, Sophia, Pfenning, Frank, Pientka, Brigitte

Preuzmi cijeli tekst
Preuzmi cijeli tekst

A Linear Logic Programming Language for Concurrent Programming over Graph Structures od Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth Copen, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Nested Session Types od Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst

Subtyping on Nested Polymorphic Session Types od Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Preuzmi cijeli tekst
Preuzmi cijeli tekst