Sign In

Login

Password

Forgot Password ? Sign Up

Twelf (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Twelf" in English language version.

refsWebsite
Global rank English rank
3cmu.edu
1,564th place
1,028th place

cmu.edu

cs.cmu.edu

  • Pfenning, Frank; Carsten Schürmann (July 1999). System description: Twelf - a meta-logical framework for deductive systems (PDF). Proceedings of the 16th International Conference on Automated Deduction (CADE-16). Retrieved 2019-05-08.
  • Lee, Daniel; Karl Crary; Robert Harper (January 2007). Towards a Mechanized Metatheory of Standard ML (PDF). Proceedings of the 2007 Symposium on the Principles of Programming Languages. Nice, France. Retrieved 2007-02-08.
  • Crary, Karl (2003). Toward a Foundational Typed Assembly Language (PDF). Proceedings of the 2003 Symposium on the Principles of Programming Languages. Retrieved 2007-02-08.