GetWiki
Benjamin C. Pierce
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Benjamin C. Pierce
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|American professor of computer science}}- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
factoids | |
---|---|
Books
He is the author of one book on type systems, Types and Programming Languages {{ISBN|0-262-16209-1}}. He has also edited a collection of articles to create a second volume Advanced Topics in Types and Programming Languages {{ISBN|0-262-16228-8}}. Based on the notes he collected while learning category theory during his PhD, he also published an introductory book on this topic—Basic Category Theory for Computer Scientists, {{ISBN|0-262-66071-7}}. He is one of the authors of the freely available book Software Foundations.See also
References
External links
- Prof. Pierce's Homepage
- {{DBLP|name=Benjamin C. Pierce}}
- {{MathGenealogy|50223}}
- content above as imported from Wikipedia
- "Benjamin C. Pierce" does not exist on GetWiki (yet)
- time: 9:24am EDT - Sat, May 18 2024
- "Benjamin C. Pierce" does not exist on GetWiki (yet)
- time: 9:24am EDT - Sat, May 18 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 23 MAY 2022
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED