User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:19, 4 December 2024 (diff | hist) . . (-2) . . WG211/M24Schedule (→Scientific program)
- 12:16, 4 December 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Program / schedule)
- 10:14, 4 December 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Scientific program)
- 18:26, 3 December 2024 (diff | hist) . . (-3) . . WG211/M24Schedule (→Scientific program)
- 14:53, 3 December 2024 (diff | hist) . . (-4) . . WG211/M24Schedule (→Talks)
- 17:38, 1 December 2024 (diff | hist) . . (+1,107) . . N WG211/M24Rompf (Created page with "We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensor...") (current)
- 14:59, 29 November 2024 (diff | hist) . . (+553) . . N WG211/M24Allais (Created page with "Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic...") (current)
- 14:58, 29 November 2024 (diff | hist) . . (+48) . . WG211/M24Schedule (→Talks)
- 20:06, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (Ordering)
- 20:06, 28 November 2024 (diff | hist) . . (-21) . . WG211/M24Schedule (→Attendance)
- 20:04, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (Ordering)
- 20:03, 28 November 2024 (diff | hist) . . (+719) . . N WG211/M24Kovacs (Created page with "I present a small language implementation which supports the following: dependent types, runtime code generation with cross-stage persistence and full type safety, a builtin m...") (current)
- 20:03, 28 November 2024 (diff | hist) . . (+84) . . WG211/M24Schedule (→Talks)
- 20:02, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (→Attendance)
- 15:42, 23 November 2024 (diff | hist) . . (+11) . . Main Page (fix link) (current)
- 16:59, 20 November 2024 (diff | hist) . . (+1,286) . . N WG211/M24Carette (Created page with "Partial evaluation works by leveraging what is *static* in a given situation, namely the program itself and part of its input. The Futamura projections go further. For the fir...") (current)
- 16:57, 20 November 2024 (diff | hist) . . (+90) . . WG211/M24Schedule (→Talks)
- 14:59, 28 October 2024 (diff | hist) . . (+27) . . WG211/M24Schedule (→Attendance)
- 14:59, 18 October 2024 (diff | hist) . . (+1,277) . . N WG211/M24Hammond (Created page with "IOG has been deploying a variety of (lightweight) formal methods as part of its commitment to high assurance software engineering for the multi-billion dollar Cardano blockcha...") (current)
- 14:58, 18 October 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Talks)
- 14:58, 18 October 2024 (diff | hist) . . (+174) . . WG211/M24Schedule (→Talks)
- 14:57, 18 October 2024 (diff | hist) . . (+16) . . WG211/M24Schedule (→Attendance)
- 21:41, 3 October 2024 (diff | hist) . . (+19) . . WG211/M24Schedule (→Attendance)
- 21:25, 3 October 2024 (diff | hist) . . (+89) . . WG211/M24Schedule (→Talks)
- 21:24, 3 October 2024 (diff | hist) . . (+14) . . WG211/M24Schedule (→Attendance)
- 21:35, 2 October 2024 (diff | hist) . . (+72) . . WG211/M24Schedule (→Attendance)
- 21:32, 2 October 2024 (diff | hist) . . (+7) . . WG211/M24Schedule (→Attendance)
- 21:46, 7 June 2024 (diff | hist) . . (-7) . . Main Page (→Current Activity)
- 21:46, 7 June 2024 (diff | hist) . . (+83) . . Main Page (→Past Activity)
- 19:51, 17 May 2024 (diff | hist) . . (-55) . . Main Page (Tony has resigned)
- 14:09, 20 March 2024 (diff | hist) . . (+17) . . WG211/M23Schedule (→Talks)
- 14:08, 20 March 2024 (diff | hist) . . (+139) . . WG211/M23Schedule (→Talks)
- 22:46, 8 March 2024 (diff | hist) . . (+1,245) . . N WG211/M23Carette (Created page with "Partial evaluation works by leveraging what is *static* in a given situation, namely the program itself and part of its input. The Futamura projections go further. For the fir...") (current)
- 22:35, 8 March 2024 (diff | hist) . . (+90) . . WG211/M23Schedule (→Talks)
- 18:39, 26 February 2024 (diff | hist) . . (+14) . . WG211/M23Schedule (→Attendance)
- 15:11, 25 February 2024 (diff | hist) . . (+16) . . WG211/M23Schedule (→Attendance)
- 22:29, 16 February 2024 (diff | hist) . . (+11) . . WG211/M23Schedule (→Attendance)
- 16:38, 16 February 2024 (diff | hist) . . (+76) . . WG211/M23Schedule (→Attendance)
- 14:42, 26 January 2024 (diff | hist) . . (+16) . . WG211/M23Schedule (→Attendance)
- 22:56, 25 January 2024 (diff | hist) . . (+33) . . WG211/M23Schedule (→Attendance)
- 17:26, 25 January 2024 (diff | hist) . . (+68) . . WG211/M23Schedule (→Attendance)
- 20:15, 1 December 2023 (diff | hist) . . (0) . . Main Page (→Current Members)
- 14:03, 30 July 2023 (diff | hist) . . (+50) . . Main Page (→Current Members)
- 21:08, 28 July 2023 (diff | hist) . . (+139) . . Main Page (→Current Members)
- 11:53, 28 April 2023 (diff | hist) . . (0) . . WG211/M22Kammar (current)
- 11:53, 28 April 2023 (diff | hist) . . (0) . . N File:Slides-delft-wg-2-11-partial-evaluation-algebra.pdf (current)
- 11:52, 28 April 2023 (diff | hist) . . (+787) . . N WG211/M22Kammar (Created page with "Modern partial evaluation takes advantage of semantic invariants and properties to partially evaluate stuck open code fragments. In this talk, I will argue that the motivation...")
- 11:51, 28 April 2023 (diff | hist) . . (+96) . . WG211/M22Schedule (→Monday April 3rd in Snijderzaal) (current)
- 21:32, 27 April 2023 (diff | hist) . . (+14) . . N File:Fischer-Delft-GrammarRepair.pptx (Bernd's slides) (current)
- 21:32, 27 April 2023 (diff | hist) . . (+79) . . WG211/M222Fischer (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
