References

  1. Frédéric Blanqui: CoLoR, a Coq Library on Rewriting and Termination. Available at http://color.inria.fr.
  2. Thierry Coquand (1992): Pattern Matching with Dependent Types. Available at http://www.cs.chalmers.se/~coquand/pattern.ps. Proceedings of the Workshop on Logical Frameworks.
  3. Harley D Eades III (2014): The semantic analysis of advanced programming languages. The University of Iowa. Available at http://metatheorem.org/wp-content/papers/thesis.pdf.
  4. Conor McBride Healfdene Goguen & James McKinna (2006): Eliminating Dependent Pattern Matching. Available at http://cs.ru.nl/~james/RESEARCH/goguen2006.pdf.
  5. Harley D. Eades III & Aaron Stump (2010): Hereditary Substitution for Stratified System F. In: International Workshop on Proof-Search in Type Theories. A FLoC workshop, Edinburgh, Scotland. Available at http://homepage.divms.uiowa.edu/~astump/papers/pstt-2010.pdf.
  6. Daniel Leivant (1990): Finitely stratified polymorphism. Technical Report. Carnegie Mellon University. Available at http://repository.cmu.edu/cgi/viewcontent.cgi?article=2961&context=compsci.
  7. Gregory Malecha, Adam Chlipala & Thomas Braibant (2014): Compositional Computational Reflection. In: Gerwin Klein & Ruben Gamboa: ITP'14, Lecture Notes in Computer Science 8558. Springer, pp. 374–389, doi:10.1007/978-3-319-08970-6_24.
  8. Conor McBride (2005): Epigram: Practical Programming with Dependent Types. Advanced Functional Programming, pp. 130–170, doi:10.1007/11546382_3.
  9. Ulf Norell (2007): Towards a practical programming language based on dependent type theory. Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden. Available at http://www.cs.chalmers.se/~ulfn/papers/thesis.html.
  10. Matthieu Sozeau (2010): Equations: A Dependent Pattern-Matching Compiler. In: First International Conference on Interactive Theorem Proving. Springer, doi:10.1007/978-3-642-14052-5_29.
  11. Jérôme Vouillon: POPLmark challenge solution. Available at http://www.seas.upenn.edu/~plclub/poplmark/vouillon.html.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org