generated at
2/18/2025, 4:22:06 PM
System FC
System F with type equality coercions
https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/
Simon Peyton Jones