Typing, representing, and abstracting control: functional pearl

Philipp Schuster, Jonathan Immanuel Brachthäuser. Typing, representing, and abstracting control: functional pearl. In Richard A. Eisenberg, Niki Vazou, editors, Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. pages 14-24, ACM, 2018. [doi]

Authors

Philipp Schuster

This author has not been identified. Look up 'Philipp Schuster' in Google

Jonathan Immanuel Brachthäuser

This author has not been identified. Look up 'Jonathan Immanuel Brachthäuser' in Google