User contributions for Nada

25 December 2024

• 15:3215:32, 25 December 2024 diff hist +693 N WG211/M24Amin abstract current

3 December 2024

• 08:0108:01, 3 December 2024 diff hist +25 WG211/M24Schedule →Talks

28 November 2024

• 03:2703:27, 28 November 2024 diff hist +60 WG211/M24Schedule →Talks

4 October 2024

• 07:0207:02, 4 October 2024 diff hist +12 WG211/M24Schedule →Attendance

11 March 2024

• 01:5501:55, 11 March 2024 diff hist +20 WG211/M23Amin No edit summary current
• 01:5301:53, 11 March 2024 diff hist +643 N WG211/M23Amin Created page with "In Odense, I (Nada Amin) presented staged-miniKanren, which augments miniKanren (a relational programming language) with staging constructs. Since then, we (Michael Ballantyne..."
• 01:5201:52, 11 March 2024 diff hist +78 WG211/M23Schedule →Talks