Ralf Jung

Ralf Jung

Assistant Professor, ETH Zürich
在 inf.ethz.ch 的电子邮件经过验证
被引用次数：2443
programming languages verification concurrency operational semantics
Julian Rathke

Julian Rathke

University of Southampton
在 ecs.soton.ac.uk 的电子邮件经过验证
被引用次数：1223
Concurrency Theory Operational Semantics Type Systems
Timothy Zakian

Timothy Zakian

Facebook, University of Oxford
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：172
Programming Languages Compilers Type Theory Operational Semantics
Pablo Nogueira

Pablo Nogueira

UDIT University of Design, Innovation and Technology
在 upm.es 的电子邮件经过验证
被引用次数：141
Programming Languages Lambda Calculus Operational Semantics Functional Programming Parsing