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
- ''Type systems for a polymorphic imperative multi-stage language'' by Atsushi Igarashi ...468 bytes (69 words) - 14:19, 28 October 2015
- ''Revisiting Cross-Stage Persistence'' by Itsushi Igarashi (joint work with Yuichiro Hanada) ...564 bytes (89 words) - 20:49, 28 April 2013
- ...omputer Programs and Its Implementation by Program Generation'' by Atsushi Igarashi ...934 bytes (143 words) - 18:38, 10 March 2014
- ...rt Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stag ...10 KB (1,386 words) - 14:33, 6 June 2018
- ...Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Hammond, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Jul * Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Program ...9 KB (1,302 words) - 09:36, 20 February 2020
- ...Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Law * Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]] ...11 KB (1,617 words) - 20:14, 21 July 2017
- |[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP) ...6 KB (917 words) - 16:13, 27 August 2025
- The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi. Atsushi Igarashi, ...17 KB (2,543 words) - 17:44, 8 July 2018
- ...Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Len ...f Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi [[ Media:M13Igarashi.pdf | (slides) ]] ...11 KB (1,659 words) - 22:55, 8 April 2014
- ...wig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg * [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsushi Igarashi ...12 KB (1,909 words) - 10:07, 13 November 2014
- * Yuito Murase (as proxy of Atsushi Igarashi) ...12 KB (1,912 words) - 08:02, 21 October 2025