Author:
Lämmel Ralf,Thompson Simon,Kaiser Markus
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Termination checking with types;Abel;RAIRO – Theoretical Informatics and Applications,2004
2. Andreas Abel. Type-based termination of generic programs. Science of Computer Programming, 2007. MPC'06 special issue. Submitted
3. Transformation of structure-shy programs: applied to XPath queries and strategic functions;Cunha,2007
4. Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In ICFP'02: Proceedings of the 7th ACM SIGPLAN international conference on Functional programming, pages 48–59. ACM Press, 2002
5. Typed Contracts for Functional Programming;Hinze,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献