Back to Results
First PageMeta Content
Computer programming / Data types / Programming paradigms / Notation / Programming language / Type system / Type inference / Type safety / Logic programming / Software engineering / Type theory / Computing


Programming as collaborative reference (full presentation) Oleg Kiselyov and Chung-chieh Shan We argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with comp
Add to Reading List

Document Date: 2012-02-02 23:14:00

Open Document

File Size: 130,36 KB

Share Result on Facebook

City

Philadelphia / New York / /

Company

Oxford University Press / AAAI Press / /

Facility

University of Massachusetts / Rutgers University / /

IndustryTerm

real time / fancy type systems / larger systems / /

Organization

University of Massachusetts / Oxford University / Department of Linguistics / Rutgers University / /

Person

Conor McBride / Howard Wettstein / Joseph Almog / Oleg Kiselyov / Barack Obama / Deanna Wilkes-Gibbs / John Perry / Nathanael Chambers / William Taysom / George Ferguson / /

Position

director role and the matcher role / president / director / programmer / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

Massachusetts / /

Technology

http / /

SocialTag