IFX ["Type Reconstruction with First-Class Polymorphic Values", J. O'Toole et al, SIGPLAN Notices 24(7):207-217 (Jul 1989)].
版权所有 © 2024 3Dict.cn