I agree that this site is using cookies. You can find further informations here.
X
Tate, Ross
190  results:
Search for persons X
?
1

Decidable Subtyping of Existential Types for Julia:

Belyakova, Julia ; Chung, Benjamin ; Tate, Ross.
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1091-1114 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Evidenced frames : a unifying framework broadening reali..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Cohen, Liron ; Miquey, Étienne ; Tate, Ross - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Transitioning from structural to nominal code with efficien..:

Muehlboeck, Fabian ; Tate, Ross
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Type stability in Julia: avoiding performance pathologies i..:

Pelenitsyn, Artem ; Belyakova, Julia ; Chung, Benjamin..
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-26 , 2021
Link: https://doi.org/10.1145/..
 
?
5

Transitioning from structural to nominal code with efficien..:

Muehlboeck, Fabian ; Tate, Ross
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
6

Type stability in Julia: avoiding performance pathologies i..:

Pelenitsyn, Artem ; Belyakova, Julia ; Chung, Benjamin..
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-26 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

World age in Julia: optimizing method dispatch in the prese..:

Belyakova, Julia ; Chung, Benjamin ; Gelinas, Jack...
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-26 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

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/..
 
?
9

World age in Julia: optimizing method dispatch in the prese..:

Belyakova, Julia ; Chung, Benjamin ; Gelinas, Jack...
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-26 , 2020
Link: https://doi.org/10.1145/..
 
?
10

The Effects of Effects on Constructivism:

Cohen, Liron ; Abreu Faro, Sofia ; Tate, Ross
Electronic Notes in Theoretical Computer Science.  347 (2019)  - p. 87-120 , 2019
Link: https://doi.org/10.1016/..
 
?
11

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/..
 
?
12

Empowering union and intersection types with integrated sub..:

Muehlboeck, Fabian ; Tate, Ross
Proceedings of the ACM on Programming Languages.  2 (2018)  OOPSLA - p. 1-29 , 2018
Link: https://doi.org/10.1145/..
 
?
13

Empowering union and intersection types with integrated sub..:

Muehlboeck, Fabian ; Tate, Ross
Proceedings of the ACM on Programming Languages.  2 (2018)  OOPSLA - p. 1-29 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

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..
 
?
15

Sound gradual typing is nominally alive and well:

Muehlboeck, Fabian ; Tate, Ross
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-30 , 2017
Link: https://doi.org/10.1145/..
 
1-15