Dan Friedman

Dan Friedman

Indiana University
Verified email at indiana.edu
Cited by 11640
Programming Languages Logic Programming Continuations Theorem Proving
Olivier Danvy

Olivier Danvy

Yale-NUS College and School of Computing, National University of Singapore
Verified email at yale-nus.edu.sg
Cited by 7216
Programming Languages Continuations Partial Evaluation Functional Programming Abstract Machines
Daniel Hillerström

Daniel Hillerström

Senior Software Engineer, Category Labs, New York, USA
Verified email at ed.ac.uk
Cited by 487
Effect Handlers Continuations Type and Effect Systems Programming Languages
Youyou Cong

Youyou Cong

Institute of Science Tokyo
Verified email at c.titech.ac.jp
Cited by 128
continuations type systems programming education
Horia V. Corcalciuc

Horia V. Corcalciuc

University of Birmingham
Verified email at cs.bham.ac.uk
Cited by 8
Software Security Continuations Concurrency Programming Languages
Chiaki Ishio

Chiaki Ishio

Ochanomizu University
Verified email at is.ocha.ac.jp
Cited by 8
continuations proof assistants programming languages