E-LIB Suche - Ergebnisse für: Crichton, Will

1

Profiling Programming Language Learning:

Crichton, Will ; Krishnamurthi, Shriram
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 29-54 , 2024

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

2

A Core Calculus for Documents: Or, Lambda: The Ultimate Doc..:

Crichton, Will ; Krishnamurthi, Shriram
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 667-694 , 2024

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

3

Typed Design Patterns for the Functional Era:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture,

Crichton, Will - p. 40-48 , 2023

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

4

A Grounded Conceptual Model for Ownership Types in Rust:

Crichton, Will ; Gray, Gavin ; Krishnamurthi, Shriram
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1224-1252 , 2023

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

5

Modular information flow through ownership:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Crichton, Will ; Patrignani, Marco ; Agrawala, Maneesh. - p. 1-14 , 2022

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

6

Analysis of Faces in a Decade of US Cable TV News:

, In: Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining,

Hong, James ; Crichton, Will ; Zhang, Haotian... - p. 3011-3021 , 2021

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

7

The Role of Working Memory in Program Tracing:

, In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems,

Crichton, Will ; Agrawala, Maneesh ; Hanrahan, Pat - p. 1-13 , 2021

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

8

Automating Program Structure Classification:

, In: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education,

Crichton, Will ; Sampaio, Georgia Gabriela ; Hanrahan, Pat - p. 1177-1183 , 2021

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

9

Scanner : efficient video analysis at scale:

Poms, Alex ; Crichton, Will ; Hanrahan, Pat.
ACM Transactions on Graphics (TOG). 37 (2018) 4 - p. 1-13 , 2018

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

10

Scanner: efficient video analysis at scale:

Poms, Alex ; Crichton, Will ; Hanrahan, Pat.
ACM Transactions on Graphics. 37 (2018) 4 - p. 1-13 , 2018

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

11

Profiling Programming Language Learning:

Crichton, Will ; Krishnamurthi, Shriram
http://arxiv.org/abs/2401.01257. , 2024

Link: http://arxiv.org/abs/240..

12

Artifact for "A Grounded Conceptual Model for Ownership Typ..:

Crichton, Will ; Gray, Gavin ; Krishnamurthi, Shriram
doi:10.5281/zenodo.8140698. , 2023

Link: https://zenodo.org/recor..

13

Artifact for "A Core Calculus for Documents":

Crichton, Will ; Krishnamurthi, Shriram
doi:10.5281/zenodo.8409036. , 2023

Link: https://zenodo.org/recor..

14

A Grounded Conceptual Model for Ownership Types in Rust:

Crichton, Will ; Gray, Gavin ; Krishnamurthi, Shriram
info:eu-repo/semantics/altIdentifier/doi/10.1145/3622841. , 2023

Link: https://hdl.handle.net/2..

15

A Grounded Conceptual Model for Ownership Types in Rust:

Crichton, Will ; Gray, Gavin ; Krishnamurthi, Shriram
http://arxiv.org/abs/2309.04134. , 2023

Link: http://arxiv.org/abs/230..