E-LIB Suche - Ergebnisse für: Reppy, John

1

Analyzing binding extent in 3CPS:

Quiring, Benjamin ; Reppy, John ; Shivers, Olin
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 650-678 , 2022

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

2

Anomalous Inferred Viscosity and Normal Density Near the $$..:

Tian, Yefan ; Smith, Eric ; Reppy, John.
Journal of Low Temperature Physics. 205 (2021) 5-6 - p. 226-234 , 2021

Link: https://doi.org/10.1007/..

3

3CPS: The Design of an Environment-Focussed Intermediate Re..:

, In: 33rd Symposium on Implementation and Application of Functional Languages,

Quiring, Benjamin ; Reppy, John ; Shivers, Olin - p. 20-28 , 2021

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

4

A New Backend for Standard ML of New Jersey:

, In: IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages,

Farvardin, Kavon ; Reppy, John - p. 55-66 , 2020

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

5

The history of Standard ML:

MacQueen, David ; Harper, Robert ; Reppy, John
Proceedings of the ACM on Programming Languages. 4 (2020) HOPL - p. 1-100 , 2020

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

6

The history of Standard ML:

MacQueen, David ; Harper, Robert ; Reppy, John
Proceedings of the ACM on Programming Languages. 4 (2020) HOPL - p. 1-100 , 2020

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

7

From folklore to fact: comparing implementations of stacks ..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Farvardin, Kavon ; Reppy, John - p. 75-90 , 2020

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

8

Point Movement in a DSL for Higher-Order FEM Visualization:

, In: 2019 IEEE Visualization Conference (VIS),

Collin, Teodoro ; Chiw, Charisee ; Scott, L. Ridgway.. - p. 281-285 , 2019

Link: https://doi.org/10.1109/..

9

Shapes and flattening:

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

Reppy, John ; Wingerter, Joe - p. 1-11 , 2019

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

10

DATm : diderot's automated testing model:

, In: Proceedings of the 12th International Workshop on Automation of Software Testing,

Chiw, Charisee ; Kindlmann, Gordon ; Reppy, John - p. 45-51 , 2017

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

11

Practical Aspects of Declarative Languages

18th International Symposium, PADL 2016, St. Petersburg, FL... Lecture Notes in Computer Science ; 9585;Programming and Software Engineering ; 9585;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Reppy, John ; Gavanelli, Marco - 1st ed. 2016 . , 2016

Link: https://doi.org/10.1007/..

12

Search for supersolidity in solid4He using multiple-mode to..:

Eyal, Anna ; Mi, Xiao ; Talanov, Artem V..
Proceedings of the National Academy of Sciences. 113 (2016) 23 - p. , 2016

Link: https://doi.org/10.1073/..

13

Diderot: a Domain-Specific Language for Portable Parallel S..:

Kindlmann, Gordon ; Chiw, Charisee ; Seltzer, Nicholas..
IEEE Transactions on Visualization and Computer Graphics. 22 (2016) 1 - p. 867-876 , 2016

Link: https://doi.org/10.1109/..

14

Search for supersolidity in solid ⁴He using multiple-mode t..:

Eyal, Anna ; Mi, Xiao ; Talanov, Artem V..
Proceedings of the National Academy of Sciences of the United States of America. 113 (2016) 23 - p. E3203-E3212 , 2016

Link: https://www.jstor.org/st..

15

Proceedings of the 20th ACM SIGPLAN International Conferenc..:

Fisher, Kathleen ; Reppy, John , 2015

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