Cited By
View all- PIETERS RSCHRIJVERS T(2020)Faster coroutine pipelines: A reconstructionJournal of Functional Programming10.1017/S095679682000019230Online publication date: 3-Aug-2020
- Carette JFarmer WSharoda Y(2020)Leveraging the Information Contained in Theory PresentationsIntelligent Computer Mathematics10.1007/978-3-030-53518-6_4(55-70)Online publication date: 17-Jul-2020
- Al-hassy MCarette JKahl WSchaefer IReichenbach CStorm T(2019)A language feature to unbundle data at will (short paper)Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3357765.3359523(14-19)Online publication date: 21-Oct-2019
- Show More Cited By