Michael Ballantyne

According to our database1, Michael Ballantyne authored at least 8 papers between 1977 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Injecting Language Workbench Technology into Mainstream Languages.
Proceedings of the Eelco Visser Commemorative Symposium, 2023

2020
Dependent type systems as macros.
Proc. ACM Program. Lang., 2020

Macros for domain-specific languages.
Proc. ACM Program. Lang., 2020

Adding interactive visual syntax to textual code.
Proc. ACM Program. Lang., 2020

1996
Woody Bledsoe - His Life and Legacy.
AI Mag., 1996

1993
Recovering user interface specifications for porting transaction processing applications.
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.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1977
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.
J. ACM, 1977


  Loading...