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 Nada
From WG 2.11
Jump to navigationJump to search
25 December 2024
- 15:3215:32, 25 December 2024 diff hist +693 N WG211/M24Amin abstract current
3 December 2024
28 November 2024
4 October 2024
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
