Hirsch, Andrew K
2068  Ergebnisse:
Personensuche X
?
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
 
?
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
 
?
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
 
?
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
 
?
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
 
?
7

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
 
?
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
 
?
10

Perceived cognitive deficits and depressive symptoms in pat..:

Lamis, Dorian A. ; Hirsch, Jameson K. ; Pugh, Kelley C....
Multiple Sclerosis and Related Disorders.  25 (2018)  - p. 150-155 , 2018
 
1-15