E-LIB Suche - Ergebnisse für: Tobin-Hochstadt, Sam

1

Garbage Collection for Mostly Serialized Heaps:

, In: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management,

Koparkar, Chaitanya S. ; Singhal, Vidush ; Gupta, Aditya... - p. 1-14 , 2024

2

Rhombus: A New Spin on Macros without All the Parentheses:

Flatt, Matthew ; Allred, Taylor ; Angle, Nia...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 574-603 , 2023

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

3

Forward build systems, formally:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Spall, Sarah ; Mitchell, Neil ; Tobin-Hochstadt, Sam - p. 130-142 , 2022

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

4

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

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

5

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

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

6

Build scripts with perfect dependencies:

Spall, Sarah ; Mitchell, Neil ; Tobin-Hochstadt, Sam
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

7

Build scripts with perfect dependencies:

Spall, Sarah ; Mitchell, Neil ; Tobin-Hochstadt, Sam
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

8

From high-level inference algorithms to efficient code:

Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques..
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

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

9

From high-level inference algorithms to efficient code:

Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques..
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

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

10

Rebuilding racket on chez scheme (experience report):

Flatt, Matthew ; Derici, Caner ; Dybvig, R. Kent...
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-15 , 2019

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

11

Size-change termination as a contract: dynamically and stat..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam. - p. 845-859 , 2019

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

12

Rebuilding racket on chez scheme (experience report):

Flatt, Matthew ; Derici, Caner ; Dybvig, R. Kent...
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-15 , 2019

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

13

A programmable programming language:

Felleisen, Matthias ; Findler, Robert Bruce ; Flatt, Matthew...
Communications of the ACM. 61 (2018) 3 - p. 62-71 , 2018

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

14

A programmable programming language:

Felleisen, Matthias ; Findler, Robert Bruce ; Flatt, Matthew...
Communications of the ACM. 61 (2018) 3 - p. 62-71 , 2018

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

15

An extended account of contract monitoring strategies as pa..:

SWORDS, CAMERON ; SABRY, AMR ; TOBIN-HOCHSTADT, SAM
Journal of Functional Programming. 28 (2018) - p. , 2018

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