User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:17, 30 December 2024 (diff | hist) . . (-3,084) . . Main Page (remove a lot of dead stuff) (current)
- 13:19, 4 December 2024 (diff | hist) . . (-2) . . WG211/M24Schedule (→Scientific program)
- 13:16, 4 December 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Program / schedule)
- 11:14, 4 December 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Scientific program)
- 19:26, 3 December 2024 (diff | hist) . . (-3) . . WG211/M24Schedule (→Scientific program)
- 15:53, 3 December 2024 (diff | hist) . . (-4) . . WG211/M24Schedule (→Talks)
- 18: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)
- 15: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)
- 15:58, 29 November 2024 (diff | hist) . . (+48) . . WG211/M24Schedule (→Talks)
- 21:06, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (Ordering)
- 21:06, 28 November 2024 (diff | hist) . . (-21) . . WG211/M24Schedule (→Attendance)
- 21:04, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (Ordering)
- 21: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)
- 21:03, 28 November 2024 (diff | hist) . . (+84) . . WG211/M24Schedule (→Talks)
- 21:02, 28 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (→Attendance)
- 16:42, 23 November 2024 (diff | hist) . . (+11) . . Main Page (fix link)
- 17: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)
- 17:57, 20 November 2024 (diff | hist) . . (+90) . . WG211/M24Schedule (→Talks)
- 15:59, 28 October 2024 (diff | hist) . . (+27) . . WG211/M24Schedule (→Attendance)
- 15: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)
- 15:58, 18 October 2024 (diff | hist) . . (+1) . . WG211/M24Schedule (→Talks)
- 15:58, 18 October 2024 (diff | hist) . . (+174) . . WG211/M24Schedule (→Talks)
- 15:57, 18 October 2024 (diff | hist) . . (+16) . . WG211/M24Schedule (→Attendance)
- 22:41, 3 October 2024 (diff | hist) . . (+19) . . WG211/M24Schedule (→Attendance)
- 22:25, 3 October 2024 (diff | hist) . . (+89) . . WG211/M24Schedule (→Talks)
- 22:24, 3 October 2024 (diff | hist) . . (+14) . . WG211/M24Schedule (→Attendance)
- 22:35, 2 October 2024 (diff | hist) . . (+72) . . WG211/M24Schedule (→Attendance)
- 22:32, 2 October 2024 (diff | hist) . . (+7) . . WG211/M24Schedule (→Attendance)
- 22:46, 7 June 2024 (diff | hist) . . (-7) . . Main Page (→Current Activity)
- 22:46, 7 June 2024 (diff | hist) . . (+83) . . Main Page (→Past Activity)
- 20:51, 17 May 2024 (diff | hist) . . (-55) . . Main Page (Tony has resigned)
- 15:09, 20 March 2024 (diff | hist) . . (+17) . . WG211/M23Schedule (→Talks)
- 15:08, 20 March 2024 (diff | hist) . . (+139) . . WG211/M23Schedule (→Talks)
- 23: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)
- 23:35, 8 March 2024 (diff | hist) . . (+90) . . WG211/M23Schedule (→Talks)
- 19:39, 26 February 2024 (diff | hist) . . (+14) . . WG211/M23Schedule (→Attendance)
- 16:11, 25 February 2024 (diff | hist) . . (+16) . . WG211/M23Schedule (→Attendance)
- 23:29, 16 February 2024 (diff | hist) . . (+11) . . WG211/M23Schedule (→Attendance)
- 17:38, 16 February 2024 (diff | hist) . . (+76) . . WG211/M23Schedule (→Attendance)
- 15:42, 26 January 2024 (diff | hist) . . (+16) . . WG211/M23Schedule (→Attendance)
- 23:56, 25 January 2024 (diff | hist) . . (+33) . . WG211/M23Schedule (→Attendance)
- 18:26, 25 January 2024 (diff | hist) . . (+68) . . WG211/M23Schedule (→Attendance)
- 21:15, 1 December 2023 (diff | hist) . . (0) . . Main Page (→Current Members)
- 15:03, 30 July 2023 (diff | hist) . . (+50) . . Main Page (→Current Members)
- 22:08, 28 July 2023 (diff | hist) . . (+139) . . Main Page (→Current Members)
- 12:53, 28 April 2023 (diff | hist) . . (0) . . WG211/M22Kammar (current)
- 12:53, 28 April 2023 (diff | hist) . . (0) . . N File:Slides-delft-wg-2-11-partial-evaluation-algebra.pdf (current)
- 12: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...")
- 12:51, 28 April 2023 (diff | hist) . . (+96) . . WG211/M22Schedule (→Monday April 3rd in Snijderzaal) (current)
- 22:32, 27 April 2023 (diff | hist) . . (+14) . . N File:Fischer-Delft-GrammarRepair.pptx (Bernd's slides) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
