Michael Ballantyne

According to our database, Michael Ballantyne authored at least 9 papers between 1977 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Compiled, Extensible, Multi-language DSLs (Functional Pearl).

Michael Ballantyne, Mitch Gamburg, Jason Hemann

Proc. ACM Program. Lang., 2024

2023

Injecting Language Workbench Technology into Mainstream Languages.

Michael Ballantyne, Matthias Felleisen

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2020

Dependent type systems as macros.

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman

Proc. ACM Program. Lang., 2020

Macros for domain-specific languages.

Michael Ballantyne, Alexis King, Matthias Felleisen

Proc. ACM Program. Lang., 2020

Adding interactive visual syntax to textual code.

Leif Andersen, Michael Ballantyne, Matthias Felleisen

Proc. ACM Program. Lang., 2020

1996

Woody Bledsoe - His Life and Legacy.

A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines

AI Mag., 1996

1993

Recovering user interface specifications for porting transaction processing applications.

Larry Van Sickle, Zheng Yang Liu, Michael Ballantyne

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

1991

The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II.

A. Michael Ballantyne

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1977

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.

A. Michael Ballantyne, W. W. Bledsoe

J. ACM, 1977