User contributions

From The Twelf Project

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

• 11:33, 19 November 2008 (diff | hist) POPL Tutorial/Problems ‎ (Added Properties of Typing and Reduction)
• 11:31, 19 November 2008 (diff | hist) N POPL Tutorial/Properties of Typing and Reduction ‎ (New page: This problem (or problems) involves proving three properties of typing and reduction for the language L{num str} from Bob Harper's book, [http://www.cs.cmu.edu/~rwh/plbook/book.pdf Practi...) (top)
• 22:12, 31 October 2008 (diff | hist) PLTheory:Introduction to Twelf ‎ (top)
• 22:09, 31 October 2008 (diff | hist) N Signature checking ‎ (New page: {{needswork|To be completed}} If all Twelf had were the features we've introduced so far, it would still be a useful tool: we can represent a large variety of complex types and do searches...) (top)
• 22:04, 31 October 2008 (diff | hist) m Signatures as logic programs ‎ (top)
• 21:55, 31 October 2008 (diff | hist) N Signatures as logic programs ‎ (New page: <twelf hidden="true"> day : type. sunday : day. monday : day. tuesday : day. wednesday : day. thursday : day. friday : day. saturday : day. next_day : day -> day -> type. next...)
• 21:43, 31 October 2008 (diff | hist) N First-order encodings ‎ (New page: A Twelf source file consists of a collection of ''declarations'', each of which is either * a ''type declaration'', in which a new type family is introduced (and named), * a ''value declar...) (top)
• 20:36, 31 October 2008 (diff | hist) Programming language theory with Twelf ‎ (Reorganization, putting the two books PFPL and TAPL front and center) (top)
• 11:16, 10 August 2008 (diff | hist) PLTheory:Introduction to Twelf ‎ (→Signatures as logic programs)
• 16:47, 28 July 2008 (diff | hist) N PLTheory:Introduction to Twelf ‎ (New page: This section is an introduction to Twelf and how it can be used to represent basic data structures and logical systems—in particular the judgment-based syntax and semantics of progra...)
• 19:16, 16 July 2008 (diff | hist) m Programming language theory with Twelf ‎ (→Table of Contents)
• 13:14, 3 July 2008 (diff | hist) m Programming language theory with Twelf ‎ (→Preface)
• 12:58, 3 July 2008 (diff | hist) Programming language theory with Twelf ‎ (→Table of Contents)
• 12:41, 3 July 2008 (diff | hist) N Programming language theory with Twelf ‎ (New page: == Preface == The study of programming languages generally proceeds in two parallel directions. In one direction, students are introduced to several specific programming languages repres...)
• 19:56, 25 April 2007 (diff | hist) N User-defined constraint domain ‎ (New page on "User-defined constraint domains")
• 08:38, 25 March 2007 (diff | hist) m Proving metatheorems:Proving totality assertions in non-empty contexts ‎ (typo fix: made "context" singular)
• 08:29, 25 March 2007 (diff | hist) m Proving metatheorems:Representing the judgements of the STLC ‎ (Fixed typo: value-lam for value-empty)
• 08:21, 25 March 2007 (diff | hist) m Proving metatheorems:Representing the syntax of the STLC ‎ (Added referent to literature reference (copying from earlier in tutorial))
• 08:14, 25 March 2007 (diff | hist) m Proving metatheorems:Representing the syntax of the STLC ‎ (Removed redundant "only"; added reference for adequacy theorem)
• 19:49, 24 March 2007 (diff | hist) m Proving metatheorems:Representing the judgements of the natural numbers ‎ (Changed "three" to "two")