共 50 条
- [1] Unraveling Recursion: Compiling an IR with Recursion to System F [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2019, 11825 : 414 - 443
- [5] An interpretation of system F through bar recursion [J]. 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
- [6] RECURSION FORMULAS FOR COEFFICIENTS OF F AND G SERIES [J]. AIAA JOURNAL, 1968, 6 (07) : 1372 - &
- [7] Dinitrogen Difluoride Chemistry. Improved Syntheses of cis- and trans-N2F2, Synthesis and Characterization of N2F+Sn2F9-, Ordered Crystal Structure of N2F+Sb2F11-, High-Level Electronic Structure Calculations of cis-N2F2, trans-N2F2, F2N=N, and N2F+, and Mechanism of the trans-cis Isomerization of N2F2 [J]. INORGANIC CHEMISTRY, 2010, 49 (15) : 6823 - 6833