Pierce, John Benjamin
2580  Ergebnisse:
Personensuche X
?
1

Correspondence of Richardson's final years (1755-1761) 

The Cambridge edition of the works and correspondence of Samuel Richardson. The correspondence ; 11
 
?
2

Northrop Frye on Milton and Blake. Volume 16 of Collected W..:

Pierce, John Benjamin
University of Toronto Quarterly.  76 (2007)  1 - p. 574-575 , 2007
 
?
5

Do Judge a Test by its Cover: Combining Combinatorial and P..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
 
?
7

Beginner's luck: a language for property-based generators:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
 
?
 
?
13

Testing noninterference, quickly:

, In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming,
Hritcu, Catalin ; Hughes, John ; Pierce, Benjamin C.... - p. 455-468 , 2013
 
?
14

Testing noninterference, quickly:

Hritcu, Catalin ; Hughes, John ; Pierce, Benjamin C....
ACM SIGPLAN Notices.  48 (2013)  9 - p. 455-468 , 2013
 
?
 
1-15