Sciweavers

8 search results - page 1 / 2
» fac 2002
Sort
View
96
Voted
FAC
2002
41views more  FAC 2002»
15 years 6 days ago
Generic Composition
Yifeng Chen
71
Voted
FAC
2002
48views more  FAC 2002»
15 years 6 days ago
Three Inadequate Models
Gordon D. Plotkin
FAC
2002
79views more  FAC 2002»
15 years 6 days ago
A New Approach to Abstract Syntax with Variable Binding
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
Murdoch Gabbay, Andrew M. Pitts
FAC
2002
78views more  FAC 2002»
15 years 6 days ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel