Dependent type: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 16:0016:00, 19 April 2021‎ Yev talk contribs‎ m 6,380 bytes +48‎ →‎Lightweight Dependent Typing

curprev 11:3711:37, 22 December 2018‎ Henk-Jan van Tuyl talk contribs‎ 6,332 bytes +24‎ →‎Epigram: Added the link to the Epigram site again
curprev 11:3411:34, 22 December 2018‎ Henk-Jan van Tuyl talk contribs‎ m 6,308 bytes +45‎ →‎Simulating them: SimulatingDependentTypes now points the copy of the page on the Web Archive
curprev 11:3011:30, 22 December 2018‎ Henk-Jan van Tuyl talk contribs‎ 6,263 bytes +114‎ →‎Proposals: Added "Dependent Types in Haskell: Theory and Practice"
curprev 11:0411:04, 22 December 2018‎ Henk-Jan van Tuyl talk contribs‎ m 6,149 bytes −6‎ →‎Lightweight Dependent Typing: Link updated

curprev 03:2003:20, 13 July 2016‎ Mirpa talk contribs‎ 6,155 bytes −24‎ →‎Epigram: removal of broken link

curprev 22:3522:35, 2 September 2015‎ Henk-Jan van Tuyl talk contribs‎ 6,179 bytes +89‎ →‎Cayenne: The cayenne home page disappeared; now pointing to Wikipedia and the GitHub repository

curprev 00:1000:10, 22 June 2014‎ Jefffrey talk contribs‎ 6,090 bytes +13‎ →‎Proposals

curprev 11:3511:35, 16 June 2013‎ Scravy talk contribs‎ 6,077 bytes +449‎ →‎Dependently typed languages

curprev 20:2920:29, 8 August 2012‎ Henk-Jan van Tuyl talk contribs‎ 5,628 bytes +39‎ →‎Cayenne: links updated; link added for constructive type theory

curprev 18:2918:29, 26 April 2012‎ Bhterra talk contribs‎ m 5,589 bytes −1‎ fixed link

curprev 19:0719:07, 22 October 2011‎ Drb226 talk contribs‎ 5,590 bytes +79‎ →‎Epigram: fixing broken links; best guess on "Epigram Tutorial"

curprev 15:3515:35, 17 September 2010‎ RobinKAY talk contribs‎ m 5,511 bytes +24‎ Fix broken link to McBride's paper.

curprev 00:4100:41, 7 September 2008‎ F.s. talk contribs‎ 5,487 bytes +19‎ marked dead link

curprev 12:0412:04, 11 August 2008‎ Bens talk contribs‎ 5,468 bytes −1‎ No edit summary

curprev 20:5220:52, 27 May 2008‎ Sclv talk contribs‎ 5,469 bytes +112‎ No edit summary
curprev 20:4720:47, 27 May 2008‎ DonStewart talk contribs‎ 5,357 bytes −634‎ No edit summary

curprev 14:5214:52, 30 March 2008‎ Pierre talk contribs‎ m 5,991 bytes 0‎ spelling

curprev 14:2014:20, 9 October 2007‎ Ulfn talk contribs‎ m 5,991 bytes −6‎ No edit summary
curprev 14:1914:19, 9 October 2007‎ Ulfn talk contribs‎ 5,997 bytes −109‎ Updated link to Agda

curprev 20:0920:09, 30 June 2007‎ Marcel Manthe talk contribs‎ m 6,106 bytes +37‎ meta: adding Type-level programming category

curprev 08:2908:29, 8 May 2007‎ EndreyMark talk contribs‎ 6,069 bytes +131‎ Do we need dependent types? by Daniel Fridlender and Mia Indrika, 2001.

curprev 15:0815:08, 2 May 2007‎ Wolfgang Jeltsch talk contribs‎ m 5,938 bytes +11‎ taking renaming of “Future” into “Future of Haskell” into account

curprev 23:2223:22, 1 November 2006‎ Oleg talk contribs‎ 5,927 bytes +406‎ Added lightweight dependent typing.

curprev 12:1012:10, 10 October 2006‎ EndreyMark talk contribs‎ m 5,521 bytes +1‎ /Qi*/ Typographic correction
curprev 12:0912:09, 10 October 2006‎ EndreyMark talk contribs‎ 5,520 bytes +506‎ →‎Qi: and Blaise: Lisp-based languages with dependent types

curprev 08:2508:25, 31 July 2006‎ EndreyMark talk contribs‎ 5,014 bytes +284‎ →‎Library: Adding Ivor theorem prover, and other related materials found on Edwin Brady's homepage

curprev 11:1111:11, 17 June 2006‎ EndreyMark talk contribs‎ 4,730 bytes +103‎ →‎Simulating them: links to Type arithmetic

curprev 10:0410:04, 12 May 2006‎ EndreyMark talk contribs‎ m 4,627 bytes +23‎ More precise location of a link to Future#Extensions of Haskell in section →‎Eptigram
curprev 09:3809:38, 12 May 2006‎ EndreyMark talk contribs‎ m 4,604 bytes 0‎ sentence-style capitalization of headlines
curprev 09:3609:36, 12 May 2006‎ EndreyMark talk contribs‎ 4,604 bytes +524‎ In section →‎Type theory: An approach to the concept of dependent type and Curry-Howard isomorphism: dicussed in the context of linguistics!

curprev 07:3307:33, 1 April 2006‎ EndreyMark talk contribs‎ 4,080 bytes +112‎ Linking with other wikipage: (1) a link back to Libraries and tools/Theorem provers (2) A more precise link (anchored to a section) to Type#See also
curprev 07:1907:19, 1 April 2006‎ EndreyMark talk contribs‎ m 3,968 bytes +3‎ typographic corrections

curprev 21:2821:28, 31 March 2006‎ EndreyMark talk contribs‎ 3,965 bytes +77‎ The description of Epigram got a link to Libraries and tools/Theorem provers, because that page also mentions Epigram
curprev 21:2321:23, 31 March 2006‎ EndreyMark talk contribs‎ m 3,888 bytes +24‎ Using == ... == as top level headlines (according to HaskellWiki:Guidelines#Headlines)

curprev 10:1510:15, 28 March 2006‎ EndreyMark talk contribs‎ m 3,864 bytes 0‎ typographic correction

curprev 20:3820:38, 25 March 2006‎ EndreyMark talk contribs‎ 3,864 bytes +792‎ Adding link to Agda and Cayene, as examples of dependently typed languages. Reference to Cayene will create a new First-class module page
curprev 19:5319:53, 25 March 2006‎ EndreyMark talk contribs‎ m 3,072 bytes 0‎ Dependent types moved to Dependent type

curprev 12:5612:56, 6 March 2006‎ EndreyMark talk contribs‎ 3,072 bytes +58‎ Replacing the Smart constructors link with Type link. So the reference became more general, because Smart constructors can be reached from Type
curprev 11:3411:34, 6 March 2006‎ EndreyMark talk contribs‎ m 3,014 bytes +243‎ Specifying exactly which papers are meant as I referred to HaskelDB
curprev 11:0011:00, 6 March 2006‎ EndreyMark talk contribs‎ 2,771 bytes +163‎ Referring to HaskelDB, as a practical case study on the usefulness of such idioms (i.e. those related to simulating dependent types)
curprev 10:3510:35, 6 March 2006‎ EndreyMark talk contribs‎ 2,608 bytes +61‎ Adding a new section ,,Simulating them [dependent types in Haskell]''. Links to wikipages: how to achieve static type checks instead of runtime assertions. Link to Smart constructors wikipage

curprev 23:2723:27, 5 March 2006‎ EndreyMark talk contribs‎ 2,547 bytes +38‎ Categorizing this article, creating a new category ,,Theoretical foundations''

curprev 00:0500:05, 2 March 2006‎ EndreyMark talk contribs‎ m 2,509 bytes −19‎ Using same label as target for wiki links

19 April 2021

22 December 2018

13 July 2016

2 September 2015

22 June 2014

16 June 2013

8 August 2012

26 April 2012

22 October 2011

17 September 2010

7 September 2008

11 August 2008

27 May 2008

30 March 2008

9 October 2007

30 June 2007

8 May 2007

2 May 2007

1 November 2006

10 October 2006

31 July 2006

17 June 2006

12 May 2006

1 April 2006

31 March 2006

28 March 2006

25 March 2006

6 March 2006

5 March 2006

2 March 2006

1 March 2006