共 56 条
- [1] Abadi M, 2016, PROCEEDINGS OF OSDI'16: 12TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, P265
- [2] [Anonymous], 1989, Mathematical Programming: recent developments and applications
- [3] [Anonymous], 1980, THESIS
- [4] [Anonymous], 2008, EVALUATING DERIVATIV
- [5] Appel A., 2007, COMPILING CONTINUATI
- [6] Awodey S., 2006, Oxford Logic Guides, V49
- [7] Bird Richard S., 1996, Algebra of Programming
- [8] Bolingbroke M., 2011, CONSTRAINT KINDS GHC
- [9] Chollet F., 2016, GITHUB REPOSITORY
- [10] Cormen T. H., 2001, Introduction to Algorithms, V2nd