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
Search results
From WG 2.11
Jump to navigationJump to search
- ...constructs. Since then, we (Michael Ballantyne, Raffi Sanna, Will Byrd and Nada Amin) have added support for novel features to account for non-determinism ...663 bytes (91 words) - 01:55, 11 March 2024
- We (Nada Amin, Michael Ballantyne and Will Byrd) present a novel framework for stagi ...388 bytes (55 words) - 11:20, 2 August 2022
- Nada Amin ...1 KB (188 words) - 01:00, 18 June 2017
- Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi I * Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]] ...11 KB (1,617 words) - 20:14, 21 July 2017
- * Nada Amin * Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]] ...13 KB (1,830 words) - 13:12, 27 March 2024
- Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Chari * Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, ...13 KB (2,072 words) - 23:19, 27 February 2023
- |[https://namin.seas.harvard.edu/ Nada Amin] (US) ...6 KB (917 words) - 16:13, 27 August 2025
- * Nada Amin * Nada Amin [[WG211/M24Amin | Experiments in verified program synthesis with LLMs ...17 KB (2,513 words) - 17:23, 5 December 2024
