Unnesting of Copatterns - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau. Unnesting of Copatterns. In Gilles Dowek, editor, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Volume 8560 of Lecture Notes in Computer Science, pages 31-45, Springer, 2014. [doi]

This author has not been identified. Look up 'Anton Setzer' in GoogleIdentified as Andreas Abel This author has not been identified. Look up 'Brigitte Pientka' in GoogleThis author has not been identified. Look up 'David Thibodeau' in Google

runs on WebDSL