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