Andrew D. Gordon

Concurrent Haskell

Simon Peyton Jones, Andrew D. Gordon, Sigbjørn Finne · 1996 · 376 citations

Abstract Object Theory

Probabilistic programming

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori et al. · 2014 · 357 citations · Full text

Reliability Analysis, Engineering, Data Science +14

Anytime, anywhere

Luca Cardelli, Andrew D. Gordon · 2000 · 349 citations

Architectural Design, Engineering, Spatialtemporal Reasoning +9

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 224 citations · Full text

Engineering, Information Security, Type Theory +22

SecPAL: Design and semantics of a decentralized authorization language

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon · Journal of Computer Security · 2010 · 184 citations · Full text

Authentication Authorization, Engineering, Information Security +20