User contributions
Jump to navigation
Jump to search
- 04:11, 3 July 2011 diff hist 0 m Correctness of short cut fusion just a small formatting edit
- 20:49, 12 June 2011 diff hist +18 Research papers/Type systems replaced conference by journal paper
- 20:24, 18 May 2011 diff hist +78 m Haskell Communities and Activities Report
- 20:00, 18 May 2011 diff hist +290 Haskell Communities and Activities Report added 20th HCAR
- 21:39, 1 December 2010 diff hist +1 Haskell Communities and Activities Report
- 21:39, 1 December 2010 diff hist 0 Haskell Communities and Activities Report
- 21:38, 1 December 2010 diff hist -38 Haskell Communities and Activities Report
- 21:37, 1 December 2010 diff hist +83 Template:Main/Community added HCAR link
- 21:35, 1 December 2010 diff hist +428 Haskell Communities and Activities Report
- 21:33, 1 December 2010 diff hist +1,692 Haskell Communities and Activities Report
- 21:26, 1 December 2010 diff hist +2,151 Haskell Communities and Activities Report
- 21:20, 1 December 2010 diff hist +439 Haskell Communities and Activities Report
- 21:18, 1 December 2010 diff hist +1,497 Haskell Communities and Activities Report
- 21:13, 1 December 2010 diff hist -514 Haskell Communities and Activities Report
- 21:09, 1 December 2010 diff hist +1,002 Haskell Communities and Activities Report
- 21:06, 1 December 2010 diff hist +492 Haskell Communities and Activities Report
- 21:04, 1 December 2010 diff hist +508 Haskell Communities and Activities Report
- 20:23, 1 December 2010 diff hist +6 Haskell Communities and Activities Report
- 20:20, 1 December 2010 diff hist +55 N HCAR HCAR moved to Haskell Communities and Activities Report
- 20:20, 1 December 2010 diff hist 0 m Haskell Communities and Activities Report HCAR moved to Haskell Communities and Activities Report
- 20:19, 1 December 2010 diff hist +1,486 N Haskell Communities and Activities Report New page: The [http://www.haskell.org/communities/ Haskell Communities and Activities Report] was initiated at the 2001 Haskell workshop, as a status report of the Haskell community as a whole, to b...
- 13:55, 19 November 2010 diff hist -71 Research papers/Data structures added a paper
- 13:54, 19 November 2010 diff hist +316 Research papers/Data structures added a paper
- 19:19, 31 October 2010 diff hist 0 m Applications and libraries/Theorem provers
- 19:18, 31 October 2010 diff hist +163 Applications and libraries/Theorem provers added free theorems generator
- 17:45, 27 August 2010 diff hist -1 User:Janis updated info current
- 07:21, 10 June 2010 diff hist +139 Research papers/Functional pearls added a paper
- 07:17, 10 June 2010 diff hist +170 Research papers/Functional pearls added a paper
- 07:10, 10 June 2010 diff hist -8 Research papers/Authors change homepage link
- 13:54, 21 December 2009 diff hist +229 Research papers/Type systems added a paper
- 19:01, 9 November 2009 diff hist +243 Research papers/Type systems added a paper
- 13:15, 18 July 2009 diff hist +188 Research papers/Type systems added a paper
- 14:15, 22 June 2009 diff hist +137 Template:Main/Events added PEPM'10
- 07:06, 27 May 2009 diff hist +226 Research papers/Monads and arrows added and moved papers
- 07:00, 27 May 2009 diff hist +247 Research papers/Monads and arrows added paper
- 06:55, 27 May 2009 diff hist +216 Research papers/Type systems added paper
- 11:05, 10 May 2009 diff hist +130 Research papers/Functional pearls added paper
- 04:50, 17 April 2009 diff hist +266 Research papers/Type systems added a paper
- 04:41, 17 April 2009 diff hist +151 Research papers/Functional pearls added a paper by Henglein
- 13:52, 4 March 2009 diff hist +10 Correctness of short cut fusion updated publication info
- 13:50, 4 March 2009 diff hist +21 Research papers/Type systems updated publication details
- 13:49, 4 March 2009 diff hist +21 Research papers/Compilation updated publication details
- 11:18, 8 October 2008 diff hist +209 Correctness of short cut fusion added paper
- 11:15, 8 October 2008 diff hist +218 Research papers/Compilation added paper
- 11:15, 8 October 2008 diff hist +218 Research papers/Type systems added paper
- 10:55, 8 October 2008 diff hist +117 Research papers/Functional pearls added paper
- 08:22, 2 June 2008 diff hist +231 Research papers/Data structures added paper
- 08:20, 2 June 2008 diff hist +232 Research papers/Type systems added paper
- 08:22, 11 April 2008 diff hist +245 Research papers/Compilation added paper
- 08:21, 11 April 2008 diff hist 0 m Correctness of short cut fusion