Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Walker
Alias Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Control Flow in the Presence of Transient Faults
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Productivity Growth and Its Components in Chinese Agriculture After Reforms
Review of Development Economics
Development
Planning
Geography
Robert F. Barsky, Introduction À La Théorie Littéraire
LittéRéalité
The Logical Approach to Stack Typing
ACM SIGPLAN Notices
Towards Interactive Evolution: A Distributed Optimiser for Multi-Objective Water Distribution Network Design
Visualising the Operation of Evolutionary Algorithms Optimising Water Distribution Network Design Problems
A Type System for Expressive Security Policies
Interactive Visualisation of Water Distribution Network Optimisation
‹
2
3
4
5
