Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hirsch, Andrew K
2465  Ergebnisse:
Personensuche X
?
1

Alice or Bob?: Process polymorphism in choreographies:

GRAVERSEN, EVA ; HIRSCH, ANDREW K. ; MONTESI, FABRIZIO
Journal of Functional Programming.  34 (2024)  - p. , 2024
Link: https://doi.org/10.1017/..
 
?
2

Compositional Security Definitions for Higher-Order Where D..:

Menz, Jan ; Hirsch, Andrew K. ; Li, Peixuan.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 406-433 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Pirouette: higher-order typed functional choreographies:

Hirsch, Andrew K. ; Garg, Deepak
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-27 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Pirouette: higher-order typed functional choreographies:

Hirsch, Andrew K. ; Garg, Deepak
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
5

Giving semantics to program-counter labels via secure effec..:

Hirsch, Andrew K. ; Cecchetti, Ethan
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
6

Giving semantics to program-counter labels via secure effec..:

Hirsch, Andrew K. ; Cecchetti, Ethan
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

First-Order Logic for Flow-Limited Authorization:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Hirsch, Andrew K. ; Amorim, Pedro H. Azevedo de ; Cecchetti, Ethan.. - p. 123-138 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Strict and lazy semantics for effects: layering monads and ..:

Hirsch, Andrew K. ; Tate, Ross
Proceedings of the ACM on Programming Languages.  2 (2018)  ICFP - p. 1-30 , 2018
Link: https://doi.org/10.1145/..
 
?
9

Strict and lazy semantics for effects: layering monads and ..:

Hirsch, Andrew K. ; Tate, Ross
Proceedings of the ACM on Programming Languages.  2 (2018)  ICFP - p. 1-30 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Belief semantics of authorization logic:

, In: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security,
Hirsch, Andrew K. ; Clarkson, Michael R. - p. 561-572 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

Alice or Bob?: Process Polymorphism in Choreographies:

Graversen, Eva ; Hirsch, Andrew K ; Montesi, Fabrizio
http://arxiv.org/abs/2303.04678.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

Pirouette Coq Code:

Hirsch, Andrew K ; Garg, Deepak
doi:10.5281/zenodo.5548279.  , 2021
Link: https://zenodo.org/recor..
 
?
13

Pirouette: Higher-Order Typed Functional Choreographies:

Hirsch, Andrew K ; Garg, Deepak
http://arxiv.org/abs/2111.03484.  , 2021
Link: http://arxiv.org/abs/211..
 
?
14

Pirouette Coq Code:

Hirsch, Andrew K ; Garg, Deepak
doi:10.5281/zenodo.5548279.  , 2021
Link: https://zenodo.org/recor..
 
?
15

Pirouette Coq Code:

Hirsch, Andrew K ; Garg, Deepak
doi:10.5281/zenodo.5548279.  , 2021
Link: https://zenodo.org/recor..
 
1-15