Simon Peyton Jones

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 47

Top Topics

Sequent Calculus

Draw Conclusions

Functional Language

Memory Management

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications