User contributions
From The Twelf Project
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:47, 15 March 2011 (diff | hist) Alpha-equivalence (top)
- 21:46, 15 March 2011 (diff | hist) Talk:Alpha-equivalence (top)
- 11:10, 1 March 2010 (diff | hist) N Modally Propositional Logic (Created page with '%{ == Modally-Propositional Logic == }% world : type. %name world W. world1 : world. succ : world -> world. %% so it doesn't split worlds, which makes the coverage checking...') (top)
- 11:10, 1 March 2010 (diff | hist) User:Drl (top)
- 12:19, 2 February 2010 (diff | hist) Introductions to Twelf (top)
- 12:16, 2 February 2010 (diff | hist) MediaWiki:Sidebar (top)
- 12:15, 2 February 2010 (diff | hist) Introductions to Twelf
- 12:14, 2 February 2010 (diff | hist) POPL Tutorial
- 16:56, 22 October 2009 (diff | hist) N MinMLToMinHaskell (Created page with '%{ Translation from MinML (unencapsulated effects) to MiniHaskell (monadic effects). Uses third-order coverage checking. }% %{ == MiniHaskell == }% tp : type. unit : tp. a...') (top)
- 09:57, 18 September 2009 (diff | hist) N Iterated Let Bindings (Created page with '%{ Let with iterated bindings. == Preliminaries == }% nat : type. z : nat. s : nat -> nat. add : nat -> nat -> nat -> type. %mode add +N1 +N2 -N3. add/z : add z N N. add/s :...')
- 13:28, 4 May 2009 (diff | hist) Talk:Ask Twelf Elf
- 11:27, 10 March 2009 (diff | hist) N C machine and focusing (composition in machine state) (New page: %{ C Machine and Focusing }% %{ == Syntax == }% pos : type. %name pos A+. neg : type. %name neg A-. down : neg -> pos. plus : pos -> pos -> pos. times : pos -> pos -> pos. zero : po...) (top)
- 08:08, 10 March 2009 (diff | hist) N C machine and focusing (internalized compositon) (New page: %{ C Machine and Focusing }% %{ == Syntax == }% pos : type. %name pos A+. neg : type. %name neg A-. down : neg -> pos. plus : pos -> pos -> pos. times : pos -> pos -> pos. zero : po...) (top)
- 22:43, 9 March 2009 (diff | hist) N C machine and focusing (New page: %{ C Machine and Focusing }% %{ == Syntax == }% pos : type. %name pos A+. neg : type. %name neg A-. down : neg -> pos. plus : pos -> pos -> pos. times : pos -> pos -> pos. zero : po...) (top)
- 19:34, 3 March 2009 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property)
- 19:33, 3 March 2009 (diff | hist) Talk:Ask Twelf Elf
- 10:22, 29 January 2009 (diff | hist) POPL Tutorial
- 10:14, 29 January 2009 (diff | hist) N File:POPL Tutorial-scslogo.gif
- 10:14, 29 January 2009 (diff | hist) N File:POPL Tutorial-cmu.gif (top)
- 10:03, 29 January 2009 (diff | hist) N File:POPL Tutorial-mozilla.jpg (top)
- 09:55, 29 January 2009 (diff | hist) N File:POPL Tutorial-intel.jpg (top)
- 09:54, 29 January 2009 (diff | hist) N File:POPL Tutorial-msr.jpg (top)
- 09:47, 29 January 2009 (diff | hist) N File:POPL Tutorial-google-logo.gif (top)
- 09:47, 29 January 2009 (diff | hist) N File:POPL Tutorial-docomo-logo.gif (top)
- 09:43, 29 January 2009 (diff | hist) N File:POPL Tutorial-IBM.jpg (top)
- 00:18, 19 January 2009 (diff | hist) POPL Tutorial
- 21:46, 18 January 2009 (diff | hist) POPL Tutorial/Exceptions (top)
- 21:44, 18 January 2009 (diff | hist) POPL Tutorial/Next (top)
- 21:19, 18 January 2009 (diff | hist) POPL Tutorial/MinML Preservation Theorem: Solution (top)
- 21:02, 18 January 2009 (diff | hist) POPL Tutorial/Next
- 01:28, 18 January 2009 (diff | hist) N POPL Tutorial/MinML Preservation Theorem: Solution (New page: %{ Type safety for MinML == Syntax == Types: }% tp : type. %name tp T. nat : tp. arr : tp -> tp -> tp. %{ Expressions }% exp : type. %name exp E. fn : tp -> (exp -> exp) -> ...)
- 01:27, 18 January 2009 (diff | hist) N POPL Tutorial/MinML Preservation Theorem (New page: %{ Type safety for MinML == Syntax == Types: }% tp : type. %name tp T. nat : tp. arr : tp -> tp -> tp. %{ Expressions }% exp : type. %name exp E. fn : tp -> (exp -> exp) -> ...)
- 01:27, 18 January 2009 (diff | hist) POPL Tutorial/Next
- 01:15, 18 January 2009 (diff | hist) POPL Tutorial/Combinators (top)
- 01:14, 18 January 2009 (diff | hist) MediaWiki:Sidebar
- 01:13, 18 January 2009 (diff | hist) MediaWiki:Sidebar
- 01:11, 18 January 2009 (diff | hist) N POPL Tutorial/Combinators Starter (POPL Tutorial/Combinators Starter moved to POPL Tutorial/Combinators Support) (top)
- 01:11, 18 January 2009 (diff | hist) m POPL Tutorial/Combinators Support (POPL Tutorial/Combinators Starter moved to POPL Tutorial/Combinators Support) (top)
- 01:09, 18 January 2009 (diff | hist) POPL Tutorial/MinML
- 01:09, 18 January 2009 (diff | hist) POPL Tutorial/MinML Starter (top)
- 01:07, 18 January 2009 (diff | hist) POPL Tutorial/Basics (top)
- 23:06, 17 January 2009 (diff | hist) POPL Tutorial (→Schedule)
- 23:04, 17 January 2009 (diff | hist) POPL Tutorial/Basic error messages
- 23:03, 17 January 2009 (diff | hist) POPL Tutorial/Basic error messages
- 22:59, 17 January 2009 (diff | hist) POPL Tutorial/Basic error messages
- 22:57, 17 January 2009 (diff | hist) N POPL Tutorial/Basic error messages (New page: ==How Twelf checks assertions== Twelf proves a totality assertion for a type family such as <tt>mult</tt> by checking several properties. These properties, taken together, constitute a p...)
- 22:38, 16 January 2009 (diff | hist) POPL Tutorial/Next (→Intermediate problems)
- 22:38, 16 January 2009 (diff | hist) POPL Tutorial/Next (→Beginner problems (Recommended))
- 22:35, 16 January 2009 (diff | hist) POPL Tutorial
- 22:32, 16 January 2009 (diff | hist) N POPL Tutorial/Next (New page: If you want to read more about Twelf, you can check out the introductions, tutorials, and case studies on the wiki. We strongly recommend that you work ...)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
