Statistics
Publications
44
Citations
2.7K
H-Index
26
Active since
1992
Amr Sabry is an author at Indiana University Bloomington specializing in programming languages, computer science, and computing.
Publications per year
1992–2023
44
44
The essence of compiling with continuations
Cormac Flanagan, Amr Sabry, Bruce F. Duba et al. · 1993 · 533 citations
Proving the correctness of reactive systems using sized types
John Hughes, Lars Pareto, Amr Sabry · 1996 · 314 citations · Full text
Reasoning about programs in continuation-passing style.
Amr Sabry, Matthias Felleisen · 1992 · 130 citations · Full text
Macros as multi-stage computations
Steven E. Ganz, Amr Sabry, Walid Taha · 2001 · 108 citations
1–5 of 44