Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Benjamin C. Pierce | lit.salon

Author

Benjamin C. Pierce

5 works

1991–2012 across 5 dated works

No biography is available yet.

Start with

Basic Category Theory for Computer Scientists1991
Types and Programming Languages2002
Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings2003
With Naoki Kobayashi
Advanced topics in types and programming languages2004

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

Advanced topics in types and programming languages2004
6 editions
shelves
0
reviews
0
lists
0
quotes
0
Types and Programming Languages2002
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings2003
With Naoki Kobayashi
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Basic Category Theory for Computer Scientists1991
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Benjamin C. Pierce.

The conversation is still open.

There is no public salon activity to show for Benjamin C. Pierce yet.