Concepedia

Author

Amr Sabry

Indiana University BloomingtonORCID

Also Known As

A. Sabry, AMR SABRY, AMR Sabry, Amr Sabry, Kaarsgaard, Robin, Sabry, A., Sabry, Amr

115

Publications

2.9K

Citations

27

H-Index

56

Concepts

All Affiliations

Indiana University BloomingtonIndiana UniversityUniversity of OregonRice UniversityInstitut national de recherche en sciences et technologies du numérique
AS

About

Amr Sabry is an author at Indiana University Bloomington specializing in engineering, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

25

33

2.4K

2

Computer Science

25

32

2.4K

3

Computer Engineering

7

7

887

4

Language Studies

6

6

258

5

Natural Sciences

1

1

36

Amr Sabry

×

44

Publications

2.7K

Citations

26

H-Index

YearCitations

The essence of compiling with continuations

Cormac Flanagan, Amr Sabry, Bruce F. Duba,

1993

527

Proving the correctness of reactive systems using sized types

John Hughes, Lars Pareto, Amr Sabry

1996

310

Reasoning about programs in continuation-passing style

Amr Sabry, Matthias Felleisen

LISP and Symbolic Computation

1993

270

Reasoning about programs in continuation-passing style.

Amr Sabry, Matthias Felleisen

1992

130

Macros as multi-stage computations

Steven E. Ganz, Amr Sabry, Walid Taha

2001

107

A reflection on call-by-value

Amr Sabry, Philip Wadler

ACM Transactions on Programming Languages and Systems

1997

106

The essence of compiling with continuations

Cormac Flanagan, Amr Sabry, Bruce F. Duba,

ACM SIGPLAN Notices

1993

98

Backtracking, interleaving, and terminating monad transformers

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman,

2005

96

Extensible effects

Oleg Kiselyov, Amr Sabry, Cameron Swords

2013

82

A monadic framework for delimited continuations

R. KENT Dyvbig, Simon Peyton Jones, Amr Sabry

Journal of Functional Programming

2007

74

Page 1