User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:05, 4 August 2022 (diff | hist) . . (+18) . . WG211/M21Schedule (→Attendance)
- 19:15, 3 August 2022 (diff | hist) . . (+1,213) . . N WG211/M21Erdweg (Created page with "Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn claus...") (current)
- 19:14, 3 August 2022 (diff | hist) . . (+77) . . WG211/M21Schedule (→Talks)
- 10:20, 2 August 2022 (diff | hist) . . (+388) . . N WG211/M21Amin (Created page with "We (Nada Amin, Michael Ballantyne and Will Byrd) present a novel framework for staging interpreters written as relations, in which the programs under interpretation are allowe...") (current)
- 10:19, 2 August 2022 (diff | hist) . . (+91) . . WG211/M21Schedule (→Talks)
- 10:17, 2 August 2022 (diff | hist) . . (-35) . . WG211/M21Blazy (current)
- 10:17, 2 August 2022 (diff | hist) . . (+1,143) . . N WG211/M21Blazy (Created page with " Static Single Assignment (SSA) has proven useful for implementing many static-analysis and optimisation passes, thanks to its structural and semantic properties. However,...")
- 10:16, 2 August 2022 (diff | hist) . . (+94) . . WG211/M21Schedule (→Talks)
- 17:44, 1 June 2022 (diff | hist) . . (+30) . . WG211/M21Schedule (→Attendance)
- 16:36, 26 May 2022 (diff | hist) . . (+14) . . WG211/M21Schedule (→Attendance)
- 15:29, 19 May 2022 (diff | hist) . . (+737) . . Main Page (→Past members)
- 15:27, 19 May 2022 (diff | hist) . . (-69) . . Main Page (→Current Members)
- 18:15, 29 March 2022 (diff | hist) . . (+25) . . Main Page (→Current Activity)
- 18:14, 29 March 2022 (diff | hist) . . (+36) . . Main Page (→Current Activity)
- 18:12, 29 March 2022 (diff | hist) . . (+77) . . WG211/M21Schedule
- 18:11, 29 March 2022 (diff | hist) . . (+891) . . WG211/M21Schedule (→Talks)
- 18:11, 29 March 2022 (diff | hist) . . (+192) . . WG211/M21Schedule (→Talks)
- 18:10, 29 March 2022 (diff | hist) . . (+13) . . WG211/M21Schedule
- 18:09, 29 March 2022 (diff | hist) . . (+198) . . WG211/M21Schedule (→Attendance)
- 16:18, 21 July 2020 (diff | hist) . . (-93) . . Main Page (The chairs list no longer works.)
- 20:00, 4 February 2020 (diff | hist) . . (+1,728) . . N WG211/M20Zaytsev (Created page with "Title: BabyCOBOL: The Challenge to Program Generation Tool Developers On one side of the gap we have academic researchers developing new techniques of language processing in...") (current)
- 19:59, 4 February 2020 (diff | hist) . . (+1,385) . . N WG211/M20Kiselyov (Created page with "Title: Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems Abstract: Whereas ordinary types approximate the results, session types ap...") (current)
- 19:58, 4 February 2020 (diff | hist) . . (+278) . . WG211/M20Schedule (→Talks)
- 16:17, 31 January 2020 (diff | hist) . . (-59) . . WG211/M20Schedule (→Attendance)
- 21:28, 20 January 2020 (diff | hist) . . (+20) . . WG211/M20Schedule (→Attendance)
- 18:13, 20 January 2020 (diff | hist) . . (+3,284) . . N WG211/M20Visser (Created page with "Title: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System Joint work with: Jeff Smits, Gabriël Konat (TU Delft) Abstract...") (current)
- 18:12, 20 January 2020 (diff | hist) . . (0) . . WG211/M20Schedule (→Talks)
- 18:12, 20 January 2020 (diff | hist) . . (+140) . . m WG211/M20Schedule (→Talks)
- 18:10, 20 January 2020 (diff | hist) . . (+1) . . WG211/M20Schedule (→Attendance)
- 19:41, 17 January 2020 (diff | hist) . . (+13) . . WG211/M20Schedule (→Attendance)
- 17:13, 16 January 2020 (diff | hist) . . (+15) . . WG211/M20Schedule (→Attendance)
- 18:39, 13 January 2020 (diff | hist) . . (-31) . . WG211/M20Schedule (→Attendance)
- 18:53, 6 January 2020 (diff | hist) . . (+20) . . WG211/M20Schedule (→Attendance)
- 18:59, 19 December 2019 (diff | hist) . . (+16) . . WG211/M20Schedule (→Attendance)
- 15:00, 19 December 2019 (diff | hist) . . (+15) . . WG211/M20Schedule (→Attendance)
- 21:20, 12 December 2019 (diff | hist) . . (+104) . . WG211/M20Schedule (→Attendance)
- 20:26, 6 December 2019 (diff | hist) . . (+55) . . WG211/M20Schedule (→Attendance)
- 18:34, 19 November 2019 (diff | hist) . . (+15) . . WG211/M20Schedule (→Attendance)
- 19:50, 18 November 2019 (diff | hist) . . (+12) . . WG211/M20Schedule (→Attendance)
- 15:22, 18 November 2019 (diff | hist) . . (+14) . . WG211/M20Schedule (→Attendance)
- 19:59, 30 August 2019 (diff | hist) . . (+11) . . Main Page (→Mailing list)
- 19:56, 30 August 2019 (diff | hist) . . (-11) . . m Main Page (→Mailing list)
- 01:27, 22 May 2019 (diff | hist) . . (+1,496) . . N WG211/M19Visser (Created page with "In this talk I present the design of Statix, a new constraint-based language for the executable specification of type systems. Statix specifications consist of predicates that...") (current)
- 01:26, 22 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Visser.pdf (current)
- 01:26, 22 May 2019 (diff | hist) . . (+40) . . WG211/M19Schedule (→Talks) (current)
- 16:07, 20 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Mainland.pdf (current)
- 16:07, 20 May 2019 (diff | hist) . . (+42) . . WG211/M19Schedule (→Talks)
- 13:54, 19 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Yallop.pdf (current)
- 13:53, 19 May 2019 (diff | hist) . . (+66) . . WG211/M19Schedule (→Talks)
- 13:33, 19 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Koppel.pptx (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
