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
- Stephanie Weirich <br>Speaker: Stephanie Weirich ...211 bytes (27 words) - 15:37, 16 December 2011
- <h3>Stephanie Weirich and Brian Aydemir</h3> Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich.<br> ...2 KB (293 words) - 12:06, 12 December 2011
- <h3>Stephanie Weirich with Limin Jia, Jianzhou Zhao, Vilhelm Sj"oberg</h3> ...1 KB (191 words) - 12:06, 12 December 2011
- Stephanie Weirich: Applications of AOP to security in AspectML ([[Media:weirich-aop.p ...2 KB (251 words) - 14:39, 16 December 2011
- Stephanie Weirich Stephanie Weirich ...6 KB (827 words) - 15:26, 16 December 2011
- ..., John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook ...amming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich ...8 KB (1,257 words) - 16:31, 16 December 2011
- * Stephanie Weirich * Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]] ...13 KB (1,830 words) - 13:12, 27 March 2024
- # (Friday) Dependently-typed languages (Organizers: Stephanie Weirich. see attached notes). ...nis Smaragdakis, Peter Sestoft. Participants: Jeremy Siek, Harold Ossher, Stephanie Weirich, Baris Aktemur, Tom Ellman..., Manuel Fahndrich) ...15 KB (1,947 words) - 15:39, 16 December 2011
- * [[http://www.cis.upenn.edu/~sweirich/ Stephanie Weirich]], University of Pennsylvania ...7 KB (1,060 words) - 12:39, 16 December 2011
- Stephanie Weirich [[WG211/M7Weirich1| (slides)]] ...9 KB (1,481 words) - 16:13, 16 December 2011
