Back to Results
First PageMeta Content
Type theory / Data types / Functional programming / Darcs / Generalized algebraic data type / Haskell / Type system / David Roundy / Software bug / Software engineering / Computing / Computer programming


Document Date: 2009-04-06 16:22:49

Open Document

File Size: 515,61 KB

Share Result on Facebook

Company

Google Inc. / Version Control Systems / /

Event

Product Issues / /

Facility

Oregon State University / /

IndustryTerm

real-world software applications / /

Organization

Graduate School / School of Electrical Engineering and Computer Science Dean / Oregon State University / /

Person

Ian Lynagh / Jason Dagit / Eric Kow / Martin Erwig / David Roundy / Robin Abraham / Ganesh Sittampalam / David Roundy Martin Erwig Ensuring / /

Position

Author / General / light-weight proof assistant / Professor / Computer Science Director / /

Product

Functions / /

ProgrammingLanguage

Haskell / C / /

SocialTag