User contributions
Jump to navigation
Jump to search
- 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
- 08:20, 11 April 2008 diff hist +212 Correctness of short cut fusion added paper
- 15:36, 19 February 2008 diff hist +238 Correctness of short cut fusion updated references