Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simon Peyton Jones
Vectorisation Avoidance
ACM SIGPLAN Notices
Computer Science
Higher-Order Type-Level Programming in Haskell
Proceedings of the ACM on Programming Languages
Efficient Differentiable Programming in a Functional Array-Processing Language
Proceedings of the ACM on Programming Languages
Termination Combinators Forever
Editorial
Journal of Functional Programming
Software
The Educational Pearls Column
Journal of Functional Programming
Software
Runtime Support for Multicore Haskell
ACM SIGPLAN Notices
Computer Science
A User-Centred Approach to Functions in Excel
ACM SIGPLAN Notices