共 50 条
- [34] PATH-DEPENDENT LAGRANGIANS IN RELATIVISTIC ELECTRODYNAMICS JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1980, 13 (07): : 2383 - 2393
- [37] PATH-DEPENDENT OPTIONS AND TRANSACTION COSTS PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1994, 347 (1684): : 517 - 529
- [39] A Path to DOT: Formalizing Fully Path-Dependent Types PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):