A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.
Saved in:
| Title: | A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. |
|---|---|
| Authors: | ALLAIS, GUILLAUME1 guillaume.allais@ens-lyon.org, ATKEY, ROBERT2 robert.atkey@strath.ac.uk, CHAPMAN, JAMES3 james.chapman@iohk.io, MCBRIDE, CONOR2 conor.mcbride@strath.ac.uk, MCKINNA, JAMES4 J.McKinna@hw.ac.uk |
| Source: | Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-55. 55p. |
| Database: | Mathematics Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796820000076 |
