Twelf (English Wikipedia)

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

Last modified: 00:10:33, 19 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2,125^th place

1,347^th place

low place

low place

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

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.