Ross Paterson

From MaRDI portal
Person:1965248



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Quadratic twists as random variables
Transactions of the American Mathematical Society
2026-03-17Paper
Conductors of twisted Weil-Deligne representations
International Journal of Number Theory
2025-05-15Paper
The failure of Galois descent for p-Selmer groups of elliptic curves
Mathematical Proceedings of the Cambridge Philosophical Society
2024-11-27Paper
Conductors of twisted Weil--Deligne representations2023-09-06Paper
Compiling laziness using projections
Static Analysis
2022-02-16Paper
The Failure of Galois Descent for p-Selmer Groups of Elliptic Curves2021-06-04Paper
A new notation for arrows
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
2015-03-09Paper
Parametricity and dependent types
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
2015-03-05Paper
Proofs for free. Parametricity for dependent types
Journal of Functional Programming
2013-08-19Paper
Constructing Applicative Functors
Lecture Notes in Computer Science
2012-09-05Paper
Applicative programming with effects
Journal of Functional Programming
2008-01-18Paper
Finger trees: a simple general-purpose data structure
Journal of Functional Programming
2006-03-22Paper
Generalised folds for nested datatypes
Formal Aspects of Computing
2000-02-06Paper
de Bruijn notation as a nested datatype
Journal of Functional Programming
1999-06-28Paper
scientific article; zbMATH DE number 970731 (Why is no real title available?)1997-03-19Paper
scientific article; zbMATH DE number 3786496 (Why is no real title available?)1982-01-01Paper
2-Selmer Groups over Multiquadratic Extensions
(available as arXiv preprint)
N/APaper
Quadratic Twists as Random Variables
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Ross Paterson