Statistics for Top 10 Results
Filter:
Domain Registration Date Filter
1
[PDF] Free theorems and runtime type representations - Penn Engineering
https://www.seas.upenn.edu/~sweirich/papers/rtheorems.pdf
2
[PDF] Theorems for free! - People at MPI-SWS
https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf
3
[PDF] Theorems for Free! - Khoury College of Computer Sciences
https://www.khoury.northeastern.edu/home/cmartens/Courses/7400-f24/readings/theorems-for-free.pdf
4
[PDF] Theorems for free: parametricity and logical relations - Xavier Leroy
https://xavierleroy.org/CdF/2018-2019/6.pdf
5
[PDF] Theorems for Free for Free: Parametricity, With and Without Types
http://www.ccs.neu.edu/home/amal/papers/thmfreefree.pdf
6
[PDF] Theorems for free! - School of Computing Science
https://www2.cs.sfu.ca/CourseCentral/831/burton/Notes/July14/free.pdf
7
[PDF] Proofs for free - Chalmers Publication Library
https://publications.lib.chalmers.se/records/fulltext/local_135303.pdf
8
[PDF] Types, abstraction and parametric polymorphism - People at MPI-SWS
https://people.mpi-sws.org/~dreyer/tor/papers/reynolds.pdf
9
[PDF] Reynolds' Parametricity
https://www.cs.uoregon.edu/research/summerschool/summer16/notes/johann-lecture1-slides.pdf
10
[PDF] TYPES, ABSTRACTION AND PARAMETRIC POLYMORPHISM+
https://home.ttic.edu/~dreyer/course/papers/reynolds.pdf