Reflections on the Work of C.A.R. Hoare
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer London

9781848829114, 9781848829121
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures

2010 ◽  
pp. 229-254 ◽  
Author(s):  
David Kitchin ◽  
Adrian Quark ◽  
Jayadev Misra
Keyword(s):  
Data Structures

Forward with Hoare

2010 ◽  
pp. 101-121 ◽  
Author(s):  
Mike Gordon ◽  
Hélène Collavizza

Fun with Type Functions

2010 ◽  
pp. 301-331 ◽  
Author(s):  
Oleg Kiselyov ◽  
Simon Peyton Jones ◽  
Chung-chieh Shan

The Tokeneer Experiments

2010 ◽  
pp. 405-430 ◽  
Author(s):  
Jim Woodcock ◽  
Emine Gökçe Aydal ◽  
Rod Chapman
Load More ...
Sign in / Sign up

Export Citation Format

Share Document