-
Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik) is an
American computer scientist specializing in type theory, type inference,
dependent types, and functional...
- and a
server for
distributing them. It was
created by Chad Fowler, Jim
Weirich,
David Alan Black, Paul
Brannan and
Richard Kilmer in 2004. The interface...
-
James Nolan Weirich (November 18, 1956 –
February 19, 2014) was a
software developer, speaker, teacher, and
contributor to the Ruby
programming language...
- to
Republican in****bent Amy
Weirich by 65% to 35%,
after making comments about her ****uality.
Brown ****erted that
Weirich's "husband
moved out and took...
- Free and open-source
software portal Fluentd is a cross-platform open-source data
collection software project originally developed at
Treasure Data. It...
- 2019:
Martin Vechev 2018:
Ranjit Jhala 2017:
Derek Dreyer 2016:
Stephanie Weirich 2015:
David Walker 2014:
Sumit Gulwani 2013: Lars
Birkedal 2012: Shriram...
- trade-offs and is an area of
active research (Peyton Jones,
Washburn &
Weirich 2004;
Peyton Jones et al. 2006. In
spring 2021,
Scala 3.0 was released...
- Type
polymorphism Langer, Angelika. "What is reification?". Crary, Karl;
Weirich, Stephanie; Morrisett, Greg (2002). "Intensional
Polymorphism in Type-Erasure...
- (2): 77–81. doi:10.1016/j.jcot.2012.09.001. PMC 3872805. PMID 26403442.
Weirich, Angela; Hoffmann,
Georg F. (2005-10-01). "Ernst Moro (1874–1951)—A great...
- 1987 – 30 June 1990:
Heinz Fellhauer 1 July 1990 – 31
March 2002:
Dieter Weirich 1
April 2002 – 30
September 2002:
Reinhard Hartstein (interim as deputy...
