E-LIB Suche - Ergebnisse für: Pfenning, Frank

1

Implementing a Message-Passing Interpretation of the Semi-A..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Francalanza, Adrian ; Tabone, Gerard ; Pfenning, Frank - p. 295-313 , 2024

2

Parametric Subtyping for Structural Parametric Polymorphism:

DeYoung, Henry ; Mordido, Andreia ; Pfenning, Frank.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2700-2730 , 2024

Link: https://doi.org/10.1145/..

3

Data Layout from a Type-Theoretic Perspective:

DeYoung, Henry ; Pfenning, Frank
Electronic Notes in Theoretical Informatics and Computer Science. 1 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

4

Intuitionistic Metric Temporal Logic:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

De Sá, Luiz ; Toninho, Bernardo ; Pfenning, Frank - p. 1-13 , 2023

Link: https://dl.acm.org/doi/1..

5

Relating Message Passing and Shared Memory, Proof-Theoretic..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Pfenning, Frank ; Pruiksma, Klaas - p. 3-27 , 2023

Link: https://doi.org/10.1007/..

6

A Logical Framework with Higher-Order Rational (Circular) T..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Chen, Zhibo ; Pfenning, Frank - p. 68-88 , 2023

Link: https://doi.org/10.1007/..

7

Rast: A Language for Resource-Aware Session Types:

Das, Ankush ; Pfenning, Frank
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

8

Polarized Subtyping:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lakhani, Zeeshan ; Das, Ankush ; DeYoung, Henry.. - p. 431-461 , 2022

Link: https://doi.org/10.1007/..

9

Session-typed concurrent contracts:

Gommerstadt, Hannah ; Jia, Limin ; Pfenning, Frank
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100731 , 2022

Link: https://doi.org/10.1016/..

10

Nested Session Types:

Das, Ankush ; Deyoung, Henry ; Mordido, Andreia.
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-45 , 2022

Link: https://doi.org/10.1145/..

11

Circular Proofs as Session-Typed Processes: A Local Validit..:

Derakhshan, Farzaneh ; Pfenning, Frank
Logical Methods in Computer Science. 18, Issue 2 (2022) - p. , 2022

Link: https://doi.org/10.46298..

12

Back to futures:

PRUIKSMA, KLAAS ; PFENNING, FRANK
Journal of Functional Programming. 32 (2022) - p. , 2022

Link: https://doi.org/10.1017/..

13

A message-passing interpretation of adjoint logic:

Pruiksma, Klaas ; Pfenning, Frank
Journal of Logical and Algebraic Methods in Programming. 120 (2021) - p. 100637 , 2021

Link: https://doi.org/10.1016/..

14

Manifestly Phased Communication via Shared Session Types:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Sano, Chuta ; Balzer, Stephanie ; Pfenning, Frank - p. 23-40 , 2021

Link: https://doi.org/10.1007/..

15

Resource-Aware Session Types for Digital Contracts:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Das, Ankush ; Balzer, Stephanie ; Hoffmann, Jan.. - p. 1-16 , 2021

Link: https://doi.org/10.1109/..