Martin Abadi(1)
S. Abramsky(1)
Gerard Allwein(1)
Joe Armstrong(1)
Association for Computing Machinery(6)
Gilles Barthe(1)
Yves Bertot(1)
Richard Bird(1)
S. Barry Cooper(2)
Jeremy Gibbons(1)
M. Gordon(1)
Peter Hylton(1)
Mehdi Jazayeri(1)
Simon L. Peyton Jones(1)
Acm Symposium on Principles of Programming Languag(1)
Henrik Nilsson(1)
Chris Okasaki(1)
Benjamin C. Pierce(3)
Ben Potter(1)
Giovanni Sambin(1)
T. Streicher(1)