On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Eric
From WG 2.11
Jump to navigationJump to search
9 February 2014
29 January 2014
- 01:2101:21, 29 January 2014 diff hist +645 N WG211/M13Hammond Created page with "Talk title: Using Dependent Types for Parallel Programming Abstract: In this talk I will introduce a new approach to capture parallelism information directly in the type of a pr..." current
- 01:2001:20, 29 January 2014 diff hist +86 WG211/M13Schedule →Talks
31 December 2013
- 01:4901:49, 31 December 2013 diff hist +471 N WG211/M13Mousavi Created page with "After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain..." current
- 01:4801:48, 31 December 2013 diff hist +115 WG211/M13Schedule →Talks
24 December 2013
- 21:0321:03, 24 December 2013 diff hist +6 Main Page →Current Members
- 21:0121:01, 24 December 2013 diff hist +65 Main Page →Current Members
11 September 2013
- 23:0823:08, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
- 21:3121:31, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
10 September 2013
19 August 2013
17 July 2013
- 18:2318:23, 17 July 2013 diff hist −2 WG211/M11Schedule →Talks current
- 18:2318:23, 17 July 2013 diff hist 0 N File:M11 vanwyk v2.pdf No edit summary current
8 July 2013
- 11:2011:20, 8 July 2013 diff hist +73 WG211/M12Schedule →Talks
- 11:1911:19, 8 July 2013 diff hist 0 N File:M12 schultz.pdf No edit summary current
- 11:1811:18, 8 July 2013 diff hist 0 N File:M12 rhiger.pdf No edit summary current
22 June 2013
- 20:4320:43, 22 June 2013 diff hist +15 WG211/M12Schedule →Talks
- 20:4320:43, 22 June 2013 diff hist 0 N File:M12 erwig.pdf No edit summary current
20 June 2013
19 June 2013
- 21:0221:02, 19 June 2013 diff hist +227 WG211/M12Schedule →Talks
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 smaragdakis.pdf No edit summary current
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 scholz.pdf No edit summary current
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 schaefer.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 mosses.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 lengauer.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 carette.pdf No edit summary current
- 20:5320:53, 19 June 2013 diff hist +2 WG211/M12Schedule →Talks
- 20:5220:52, 19 June 2013 diff hist +34 WG211/M12Schedule →Talks
- 20:5220:52, 19 June 2013 diff hist 0 N File:M12 vanwyk.pdf No edit summary current
8 June 2013
6 June 2013
3 June 2013
- 20:1520:15, 3 June 2013 diff hist +14 WG211/M12Schedule →Overall schedule
- 20:0720:07, 3 June 2013 diff hist +191 WG211/M12Schedule →Overall schedule
1 June 2013
- 01:0101:01, 1 June 2013 diff hist +25 WG211/M12Schedule →Talks
- 01:0001:00, 1 June 2013 diff hist +969 N WG211/M12Wyk Created page with "Debugging Attribute Grammar Specifications Debugging attributes grammar specifications is a challenge since the order in which attribute equations are evaluated is not always in..." current
30 May 2013
- 15:0415:04, 30 May 2013 diff hist +130 WG211/M12Schedule →Travel
- 00:1200:12, 30 May 2013 diff hist +305 WG211/M12Schedule →Overall schedule
28 May 2013
27 May 2013
28 March 2013
27 March 2013
- 14:1414:14, 27 March 2013 diff hist +29 WG211/M12Schedule →Venue and Travel
- 14:1014:10, 27 March 2013 diff hist +412 WG211/M12Schedule →Venue and Travel
25 March 2013
- 19:1219:12, 25 March 2013 diff hist −2 WG211/M12Schedule →Registration
- 19:1119:11, 25 March 2013 diff hist +487 WG211/M12Schedule →Registration
8 March 2013
28 February 2013
- 20:3520:35, 28 February 2013 diff hist 0 WG211/M12Schedule →Venue and Travel
- 20:3020:30, 28 February 2013 diff hist +366 WG211/M12Schedule →Venue and Travel
6 June 2012
- 12:3212:32, 6 June 2012 diff hist −12 WG211/M11Vanwyk No edit summary current
- 01:4101:41, 6 June 2012 diff hist +938 N WG211/M11Vanwyk Created page with "We present a modular well-definedness analysis for attribute grammars. The global properties of grammar completeness and non-circularity are checked locally on grammar modules, ..."
- 01:3801:38, 6 June 2012 diff hist +81 WG211/M11Schedule →Talks