Unnesting of Copatterns

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_3 ◽

2014 ◽

pp. 31-45 ◽

Cited By ~ 7

Author(s):

Anton Setzer ◽

Andreas Abel ◽

Brigitte Pientka ◽

David Thibodeau

Download Full-text