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
- - Armando Solar-Lezama ...732 bytes (110 words) - 22:46, 2 July 2017
- Joint work with Armando Solar-Lezama, Chris Jones, Gilad Arnold, Lexin ...1 KB (177 words) - 12:06, 12 December 2011
- ...t present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably co ...10 KB (1,386 words) - 14:33, 6 June 2018
- The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama. Armando Solar-Lezama, ...12 KB (1,719 words) - 02:26, 22 May 2019
- ...z, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytse * Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template bas ...11 KB (1,617 words) - 20:14, 21 July 2017
- ...e, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk. ...WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama [[ Media:M13SolarLezama.pptx | (slides as pptx)]] ...11 KB (1,659 words) - 22:55, 8 April 2014
