Academic Journal
Frex: Dependently Typed Algebraic Simplification
| Τίτλος: | Frex: Dependently Typed Algebraic Simplification |
|---|---|
| Συγγραφείς: | Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy |
| Πηγή: | Proceedings of the ACM on Programming Languages. 9(ICFP):30-65 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3747506 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!