Journal of Functional Programming

A foundation for actor computation

Gul Agha, Ian A. Mason, Scott F. Smith et al. · 1997 · 452 citations · Full text

Computing, Computer Science, Computer Systems +15

Applicative programming with effects

Conor McBride, Ross Paterson · 2007 · 402 citations · Full text

Computing, Computer Science, Programming Languages +14

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · 2018 · 368 citations · Full text

Computing, Computer Science, Formal Methods +16

Explicit substitutions

M. Abadi, Luca Cardelli, Pierre-Louis Curien et al. · 1991 · 366 citations · Full text

Computing, Computer Science, Mathematics +4

DrScheme: a programming environment for Scheme

Robert Bruce Findler, John Clements, Cormac Flanagan et al. · 2002 · 340 citations

Computing, Computer Science, Programming Languages +12