Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dustin Jamner
Theorems for Free for Free: Parametricity, With and Without Types
Proceedings of the ACM on Programming Languages
Related publications
Limit Theorems for Free Multiplicative Convolutions
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Derandomized Parallel Repetition Theorems for Free Games
Computational Complexity
Mathematics
Computational Mathematics
Theoretical Computer Science
Computational Theory
Some Subgroup Theorems for Free $\Mathfrak{v}$-Groups
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Torsion Free Types
Fundamenta Mathematicae
Number Theory
Algebra
On Existence Criteria for Capillary Free Surfaces Without Gravity
Pacific Journal of Mathematics
Mathematics
Descriptor-Free Representation of Arrays With Dependent Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recursive Polymorphic Types and Parametricity in an Operational Framework
Basepoint-Free Theorems: Saturation, B-Divisors, and Canonical Bundle Formula
Algebra and Number Theory
Number Theory
Algebra
Proofs for Free
Journal of Functional Programming
Software
