Research papers/Type systems: Revision history

20 September 2024

• curprev 23:5823:58, 20 September 2024‎ Atravers talk contribs‎ m 26,951 bytes +237‎ No edit summary

1 September 2022

• curprev 10:0410:04, 1 September 2022‎ Atravers talk contribs‎ m 26,714 bytes +346‎ No edit summary

5 June 2022

• curprev 00:4900:49, 5 June 2022‎ Atravers talk contribs‎ m 26,368 bytes +14‎ No edit summary

1 June 2022

• curprev 07:2507:25, 1 June 2022‎ Atravers talk contribs‎ m 26,354 bytes −13‎ No edit summary
• curprev 06:4106:41, 1 June 2022‎ Atravers talk contribs‎ m 26,367 bytes +264‎ No edit summary
• curprev 06:1806:18, 1 June 2022‎ Atravers talk contribs‎ m 26,103 bytes +22‎ No edit summary

15 December 2020

• curprev 23:1323:13, 15 December 2020‎ HowardBGolden talk contribs‎ 26,081 bytes +24‎ →‎Haskell semantics: Update link to M.P. Jones "Typing Haskell in Haskell"

12 October 2013

• curprev 15:1515:15, 12 October 2013‎ Janis talk contribs‎ 26,057 bytes +335‎ added a paper

30 October 2012

• curprev 22:3722:37, 30 October 2012‎ Henk-Jan van Tuyl talk contribs‎ 25,722 bytes −183‎ →‎Haskell semantics: Removed Hparser, as the link is dead for a long time now, and the package cannot be found via Google

14 February 2012

• curprev 23:1323:13, 14 February 2012‎ Tomaxer talk contribs‎ 25,905 bytes +20‎ →‎Implicit parameters: Updated dead links
• curprev 22:5622:56, 14 February 2012‎ Tomaxer talk contribs‎ 25,885 bytes +18‎ →‎Restricted Datatypes: Updated dead link

21 December 2011

• curprev 20:0220:02, 21 December 2011‎ Eivind Eklund talk contribs‎ 25,867 bytes −17‎ Replace a bad link to Simply Easy! An Implementation of a Dependently Typed Lamdba Calculus with a valid link.

12 June 2011

• curprev 20:4920:49, 12 June 2011‎ Janis talk contribs‎ 25,884 bytes +18‎ replaced conference by journal paper

3 April 2011

• curprev 22:2122:21, 3 April 2011‎ Ha$kell talk contribs‎ 25,866 bytes −149‎ →‎Modules
• curprev 22:2022:20, 3 April 2011‎ Ha$kell talk contribs‎ 26,015 bytes +396‎ →‎Modules

30 September 2010

• curprev 13:3913:39, 30 September 2010‎ DonStewart talk contribs‎ 25,619 bytes +204‎ No edit summary

25 February 2010

• curprev 16:4416:44, 25 February 2010‎ Heisenbug talk contribs‎ 25,415 bytes +146‎ add pointwise paper

21 December 2009

• curprev 13:5413:54, 21 December 2009‎ Janis talk contribs‎ 25,269 bytes +229‎ added a paper

9 November 2009

• curprev 19:0119:01, 9 November 2009‎ Janis talk contribs‎ 25,040 bytes +243‎ added a paper

18 July 2009

• curprev 13:1513:15, 18 July 2009‎ Janis talk contribs‎ 24,797 bytes +188‎ added a paper

17 July 2009

• curprev 21:2121:21, 17 July 2009‎ Sulzmann talk contribs‎ m 24,609 bytes −60‎ No edit summary

27 May 2009

• curprev 06:5506:55, 27 May 2009‎ Janis talk contribs‎ 24,669 bytes +216‎ added paper

15 May 2009

• curprev 11:1811:18, 15 May 2009‎ Tschrijvers talk contribs‎ 24,453 bytes +213‎ No edit summary

17 April 2009

• curprev 04:5004:50, 17 April 2009‎ Janis talk contribs‎ 24,240 bytes +266‎ added a paper

4 March 2009

• curprev 13:5013:50, 4 March 2009‎ Janis talk contribs‎ 23,974 bytes +21‎ updated publication details

8 October 2008

• curprev 11:1511:15, 8 October 2008‎ Janis talk contribs‎ 23,953 bytes +218‎ added paper

20 September 2008

• curprev 13:1413:14, 20 September 2008‎ Tschrijvers talk contribs‎ 23,735 bytes +282‎ added ICFP 2008 paper on open type functions

4 August 2008

• curprev 16:4316:43, 4 August 2008‎ Siponen talk contribs‎ m 23,453 bytes −2‎ No edit summary
• curprev 16:4016:40, 4 August 2008‎ Siponen talk contribs‎ 23,455 bytes −1‎ No edit summary

2 June 2008

• curprev 08:2008:20, 2 June 2008‎ Janis talk contribs‎ 23,456 bytes +232‎ added paper

13 March 2008

• curprev 13:3113:31, 13 March 2008‎ Antonvs talk contribs‎ 23,224 bytes −3‎ No edit summary

14 December 2007

• curprev 23:4723:47, 14 December 2007‎ AaronNGray talk contribs‎ 23,227 bytes −30‎ Modded Haskell++ papers URL

11 December 2007

• curprev 16:3916:39, 11 December 2007‎ Janis talk contribs‎ m 23,257 bytes 0‎ No edit summary
• curprev 16:3716:37, 11 December 2007‎ Janis talk contribs‎ 23,257 bytes +506‎ added papers

15 November 2007

• curprev 02:3302:33, 15 November 2007‎ Tschrijvers talk contribs‎ m 22,751 bytes 0‎ No edit summary
• curprev 02:3202:32, 15 November 2007‎ Tschrijvers talk contribs‎ 22,751 bytes +243‎ No edit summary

23 August 2007

• curprev 15:4815:48, 23 August 2007‎ Hairy Dude talk contribs‎ m 22,508 bytes −1‎ →‎Dependent Types: fix "ö" of "Löh", was invalid utf-8

18 July 2007

• curprev 00:1200:12, 18 July 2007‎ DonStewart talk contribs‎ 22,509 bytes +182‎ →‎Records

9 July 2007

• curprev 05:0905:09, 9 July 2007‎ DonStewart talk contribs‎ 22,327 bytes +185‎ →‎Dependent Types

30 June 2007

• curprev 20:3620:36, 30 June 2007‎ Marcel Manthe talk contribs‎ m 22,142 bytes +36‎ No edit summary

3 December 2006

• curprev 02:5602:56, 3 December 2006‎ DonStewart talk contribs‎ 22,106 bytes +172‎ +EADTs paper
• curprev 02:5502:55, 3 December 2006‎ DonStewart talk contribs‎ 21,934 bytes +181‎ +paper
• curprev 02:5502:55, 3 December 2006‎ DonStewart talk contribs‎ 21,753 bytes +194‎ +paper
• curprev 02:4702:47, 3 December 2006‎ DonStewart talk contribs‎ 21,559 bytes +1,133‎ some recent MartinS papers

26 November 2006

• curprev 00:2500:25, 26 November 2006‎ DonStewart talk contribs‎ 20,426 bytes +1‎ update link

18 November 2006

• curprev 03:2303:23, 18 November 2006‎ Psykotic talk contribs‎ 20,425 bytes +202‎ No edit summary

17 November 2006

• curprev 04:3804:38, 17 November 2006‎ DonStewart talk contribs‎ 20,223 bytes +29‎ link

9 November 2006

• curprev 21:1621:16, 9 November 2006‎ Brecknell talk contribs‎ m 20,194 bytes +73‎ fix some broken links

7 October 2006

• curprev 23:2523:25, 7 October 2006‎ DonStewart talk contribs‎ 20,121 bytes +23‎ category
• curprev 04:5004:50, 7 October 2006‎ DonStewart talk contribs‎ 20,098 bytes +270‎ add "A Natural Semantics for Lazy Evaluation"