Proceedings Eighth Workshop on Mathematically Structured Functional Programming
| Autor: | Sam Lindley, Max S. New |
|---|---|
| Rok vydání: | 2020 |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science. 317 |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.317.0 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|