Conference Paper/Proceeding/Abstract 1951 views 491 downloads
Unnesting of Copatterns
Anton Setzer 
,
Andreas Abel,
Brigitte Pientka,
David Thibodeau
,
Andreas Abel,
Brigitte Pientka,
David Thibodeau
Rewriting and Typed Lambda Calculi, Volume: 8560, Pages: 31 - 45
Swansea University Author:
Anton Setzer
-
PDF | Not Applicable (or Unknown)
Download (218.62KB)
DOI (Published version): 10.1007/978-3-319-08918-8_3
Abstract
Unnesting of Copatterns
| Published in: | Rewriting and Typed Lambda Calculi |
|---|---|
| Published: |
Springer
2014
|
| Online Access: |
http://www.cs.swan.ac.uk/~csetzer/articles/setzerEtAlRTATLCA2014.pdf |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa19413 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
31 |
| End Page: |
45 |