Some Articles related to Copattern Matching

• Andreas Abel, Brigitte Pientka, David Thibodeau and Anton Setzer: Copatterns: programming infinite structures by observations
  • Proceedings of POPL 2013, 2013, pp. 27 - 38. Doi 10.1145/2429069.2429075
  • Published version
  • BibTex
  • Author's version
• Anton Setzer, Andreas Abel, Brigitte Pientka and David Thibodeau: Unnesting of Copatterns. In Gilles Dowek (Ed): Rewriting and Typed Lambda Calculi. Proceedings RTA-TLCA 2014. LNCS 8560, 2014, pp. 31 - 45. Doi 10.1007/978-3-319-08918-8_3
  • Published version
  • BibTeX
  • Pdf (Author's version)
• Anton Setzer: Coalgebras as Types determined by their Elimination Rules
  • In: Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm: Epistemology versus ontology: Essays on the foundations of mathematics in honour of Per Martin-Löf. Springer, 2012, pp. 351 -- 369, Doi: 10.1007/978-94-007-4435-6_16
  • Published version
  • Author's version
    • dvi
    • ps
    • pdf
    • BibTex