E-LIB Suche - Ergebnisse für: Siek, Jeremy G.

1

Quest Complete: The Holy Grail of Gradual Security:

Chen, Tianyu ; Siek, Jeremy G.
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1609-1632 , 2024

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

2

Blame and coercion: Together again for the first time:

SIEK, JEREMY G. ; THIEMANN, PETER ; WADLER, PHILIP
Journal of Functional Programming. 31 (2021) - p. , 2021

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

3

Parameterized cast calculi and reusable meta-theory for gra..:

SIEK, JEREMY G. ; CHEN, TIANYU
Journal of Functional Programming. 31 (2021) - p. , 2021

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

4

Programming language foundations in Agda:

Kokke, Wen ; Siek, Jeremy G. ; Wadler, Philip
Science of Computer Programming. 194 (2020) - p. 102440 , 2020

Link: https://doi.org/10.1016/..

5

Extrinsically typed operational semantics for functional la..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering,

Cimini, Matteo ; Miller, Dale ; Siek, Jeremy G. - p. 108-125 , 2020

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

6

Gradual typing: a new perspective:

Castagna, Giuseppe ; Lanvin, Victor ; Petrucciani, Tommaso.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

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

7

Gradual typing: a new perspective:

Castagna, Giuseppe ; Lanvin, Victor ; Petrucciani, Tommaso.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

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

8

Toward efficient gradual typing for structural types via co..:

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

Kuhlenschmidt, Andre ; Almahallawi, Deyaaeldeen ; Siek, Jeremy G. - p. 517-532 , 2019

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

9

Optimizing and evaluating transient gradual typing:

, In: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages,

Vitousek, Michael M. ; Siek, Jeremy G. ; Chaudhuri, Avik - p. 28-41 , 2019

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

10

A space-efficient call-by-value virtual machine for gradual..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,

Castagna, Giuseppe ; Duboc, Guillaume ; Lanvin, Victor. - p. 1-12 , 2019

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

11

Theorems for free for free: parametricity, with and without..:

Ahmed, Amal ; Jamner, Dustin ; Siek, Jeremy G..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-28 , 2017

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

12

Automatically generating the dynamic semantics of gradually..:

Cimini, Matteo ; Siek, Jeremy G.
ACM SIGPLAN Notices. 52 (2017) 1 - p. 789-803 , 2017

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

13

Big types in little runtime: open-world soundness and colla..:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,

Vitousek, Michael M. ; Swords, Cameron ; Siek, Jeremy G. - p. 762-774 , 2017

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

14

Theorems for free for free: parametricity, with and without..:

Ahmed, Amal ; Jamner, Dustin ; Siek, Jeremy G..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-28 , 2017

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

15

Big types in little runtime: open-world soundness and colla..:

Vitousek, Michael M. ; Swords, Cameron ; Siek, Jeremy G.
ACM SIGPLAN Notices. 52 (2017) 1 - p. 762-774 , 2017

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