Author:
FILLIÂTRE JEAN-CHRISTOPHE,POTTIER FRANÇOIS
Publisher
Cambridge University Press (CUP)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Producing All Ideals of a Forest, Formally (Verification Pearl);Lecture Notes in Computer Science;2016
2. Defunctionalizing push arrays;Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '14;2014
3. Who;Proceedings of the 2009 ACM SIGPLAN workshop on ML;2009-08-30
4. Refunctionalization at work;Science of Computer Programming;2009-06
5. Spider Spinning for Dummies;Advanced Functional Programming;2009