Pierce, Benjamin C.
Pierce, Benjamin C., 1963-....
Benjamin C. Pierce American professor of computer science
VIAF ID: 37023814 ( Personal )
Permalink: http://viaf.org/viaf/37023814
Preferred Forms
-
100 0 _ ‡a Benjamin C. Pierce ‡c American professor of computer science
-
200 _ | ‡a Pierce ‡b Benjamin C.
-
-
-
-
100 1 _ ‡a Pierce, Benjamin C.
-
100 1 _ ‡a Pierce, Benjamin C.
-
-
100 1 _ ‡a Pierce, Benjamin C.
-
-
-
100 1 _ ‡a Pierce, Benjamin C.
-
-
100 1 _ ‡a Pierce, Benjamin C. ‡d 1963-
-
-
-
100 1 _ ‡a Pierce, Benjamin C., ‡d 1963-....
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Basic category theory for computer scientists |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Dynamic typing in a statically typed language |
![]() |
Kata shisutemu nyumon : Puroguramingu gengo to kata no riron. |
![]() |
Multiple inheritance via intersection types |
![]() |
n91012901 |
![]() |
Software Security — Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers |
![]() |
Spring and fall [SR] p2000: |
![]() ![]() |
TACS 2001 |
![]() |
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings |
![]() ![]() ![]() ![]() ![]() |
Types and programming languages |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
型システム入門 : プログラミング言語と型の理論 |
![]() ![]() |