Search results

Create the page "Igarashi" on this wiki! See also the search results found.

• Main Page
  |[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP)
  6 KB (937 words) - 21:17, 30 December 2024
• WG211/M12Schedule
  ...ig (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
• WG211/M12Igarashi
  ''Revisiting Cross-Stage Persistence'' by Itsushi Igarashi (joint work with Yuichiro Hanada)
  564 bytes (89 words) - 20:49, 28 April 2013
• WG211/M13Schedule
  ...Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Le ...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
• WG211/M13Igarashi
  ...omputer Programs and Its Implementation by Program Generation'' by Atsushi Igarashi
  934 bytes (143 words) - 18:38, 10 March 2014
• WG211/M15Schedule
  ...t 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
• WG211/M15Igarashi
  ''Type systems for a polymorphic imperative multi-stage language'' by Atsushi Igarashi
  468 bytes (69 words) - 14:19, 28 October 2015
• WG211/M17Schedule
  ...Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia La * Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
  11 KB (1,617 words) - 20:14, 21 July 2017
• WG211/M18Schedule
  The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi. Atsushi Igarashi,
  17 KB (2,543 words) - 17:44, 8 July 2018
• WG211/M20Schedule
  ...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