Search results

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

• WG211/DSLWC
  * [[http://www.cis.upenn.edu/~sweirich/ Stephanie Weirich]], University of Pennsylvania
  7 KB (1,060 words) - 12:39, 16 December 2011
• WG211/M3LawallLengauerDiscussion
  Stephanie Weirich: Applications of AOP to security in AspectML ([[Media:weirich-aop.p
  2 KB (251 words) - 14:39, 16 December 2011
• WG211/M3Schedule
  Stephanie Weirich Stephanie Weirich
  6 KB (827 words) - 15:26, 16 December 2011
• WG211/M3Weirich
  Stephanie Weirich <br>Speaker: Stephanie Weirich
  211 bytes (27 words) - 15:37, 16 December 2011
• WG211/M4Schedule
  # (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
• WG211/M7Schedule
  Stephanie Weirich [[WG211/M7Weirich1| (slides)]]
  9 KB (1,481 words) - 16:13, 16 December 2011
• WG211/M7Weirich1
  <h3>Stephanie Weirich with Limin Jia, Jianzhou Zhao, Vilhelm Sj"oberg</h3>
  1 KB (191 words) - 12:06, 12 December 2011
• WG211/M7Weirich2
  <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
• WG211/M8Schedule
  ..., 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
• WG211/M23Schedule
  * Stephanie Weirich * Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
  13 KB (1,830 words) - 13:12, 27 March 2024