Filters








2 Hits in 1.6 sec

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann
2015 SIGPLAN notices  
This suggests applications to the expression problem.  ...  This leads us to full defunctionalization and refunctionalization between a codata language based on copattern matching and a data language based on pattern matching.  ...  Olivier Danvy provided feedback that helped us in the preparation of the final version. Tobias Weber implemented a typechecker for Uroboro which we used to type check the code examples in the figures.  ... 
doi:10.1145/2858949.2784763 fatcat:c2cnewbk7jgsfkbe5dqhgiukka

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
This suggests applications to the expression problem.  ...  This leads us to full defunctionalization and refunctionalization between a codata language based on copattern matching and a data language based on pattern matching.  ...  Olivier Danvy provided feedback that helped us in the preparation of the final version. Tobias Weber implemented a typechecker for Uroboro which we used to type check the code examples in the figures.  ... 
doi:10.1145/2784731.2784763 dblp:conf/icfp/RendelTO15 fatcat:w5drdln5ijesxjph6gcsyc4qfe