E-LIB Suche - Ergebnisse für: Ballantyne, Michael

1

Adding interactive visual syntax to textual code:

Andersen, Leif ; Ballantyne, Michael ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

2

Macros for domain-specific languages:

Ballantyne, Michael ; King, Alexis ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

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

3

Macros for domain-specific languages:

Ballantyne, Michael ; King, Alexis ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

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

4

Adding interactive visual syntax to textual code:

Andersen, Leif ; Ballantyne, Michael ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

5

Dependent type systems as macros:

Chang, Stephen ; Ballantyne, Michael ; Turner, Milo.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

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

6

Dependent type systems as macros:

Chang, Stephen ; Ballantyne, Michael ; Turner, Milo.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

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

7

A unified approach to solving seven programming problems (f..:

Byrd, William E. ; Ballantyne, Michael ; Rosenblatt, Gregory.
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-26 , 2017

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

8

A unified approach to solving seven programming problems (f..:

Byrd, William E. ; Ballantyne, Michael ; Rosenblatt, Gregory.
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-26 , 2017

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

9

Automatic Proofs of Theorems in Analysis Using Nonstandard ..:

Bledsoe, W. W. ; Ballantyne, A. Michael
Journal of the ACM. 24 (1977) 3 - p. 353-374 , 1977

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

10

Automatic Proofs of Theorems in Analysis Using Nonstandard ..:

Bledsoe, W. W. ; Ballantyne, A. Michael
Journal of the ACM (JACM). 24 (1977) 3 - p. 353-374 , 1977

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

11

Erling the Bold:

Ballantyne, Robert Michael , 2015

Link: https://search.ebscohost..

12

Dog Crusoe and His Master:

Ballantyne, Robert Michael , 2015

Link: https://search.ebscohost..

13

Martin Rattler:

Ballantyne, Robert Michael , 2015

Link: https://search.ebscohost..

14

Post Haste:

Ballantyne, Robert Michael , 2015

Link: https://search.ebscohost..

15

Young Fur Traders:

Ballantyne, Robert Michael , 2015

Link: https://search.ebscohost..