https://deepai.org/publication/profinite-lambda-terms-and-parametricity
Profinite lambda-terms and parametricity | DeepAI
Jan 29, 2023 - 01/29/23 - Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profi...
lambda termsprofiniteparametricitydeepai
https://github.com/bobatkey/system-f-parametricity-model
GitHub - bobatkey/system-f-parametricity-model: A Model of Relationally Parametric System F in Coq...
A Model of Relationally Parametric System F in Coq - bobatkey/system-f-parametricity-model
system fmodel a
https://openreview.net/forum?id=r1lQeoCVu4
Data for free: Fewer-shot algorithm learning with parametricity data augmentation | OpenReview
Learned data augmentation instills algorithm-favoring inductive biases that let RNNs learn list-processing algorithms from fewer examples.
for freedatafewershot