Dan Friedman

Dan Friedman

Indiana University
Geverifieerd e-mailadres voor indiana.edu
Geciteerd door 11556
Programming Languages Logic Programming Continuations Theorem Proving
Olivier Danvy

Olivier Danvy

Yale-NUS College and School of Computing, National University of Singapore
Geverifieerd e-mailadres voor yale-nus.edu.sg
Geciteerd door 7170
Programming Languages Continuations Partial Evaluation Functional Programming Abstract Machines
Daniel Hillerström

Daniel Hillerström

Senior researcher, Huawei Zurich Research Center
Geverifieerd e-mailadres voor ed.ac.uk
Geciteerd door 473
Effect Handlers Continuations Type and Effect Systems Programming Languages
Youyou Cong

Youyou Cong

Institute of Science Tokyo
Geverifieerd e-mailadres voor c.titech.ac.jp
Geciteerd door 121
continuations type systems programming education
Chiaki Ishio

Chiaki Ishio

Ochanomizu University
Geverifieerd e-mailadres voor is.ocha.ac.jp
Geciteerd door 9
continuations proof assistants programming languages
Horia V. Corcalciuc

Horia V. Corcalciuc

University of Birmingham
Geverifieerd e-mailadres voor cs.bham.ac.uk
Geciteerd door 8
Software Security Continuations Concurrency Programming Languages