Sciweavers

8 search results - page 1 / 2

» fac 2002

23

FAC
2002

41views more FAC 2002»

Generic Composition

13 years 7 months ago

Generic Composition

Download sei.pku.edu.cn

Yifeng Chen

claim paper

Read More »

16

FAC
2002

44views more FAC 2002»

Variations on Algebra: Monadicity and Generalisations of Equational Theories

13 years 7 months ago

Variations on Algebra: Monadicity and Generalisations of Equational Theories

Download www.dcs.qmul.ac.uk

Edmund Robinson

claim paper

Read More »

20

FAC
2002

48views more FAC 2002»

Three Inadequate Models

13 years 7 months ago

Three Inadequate Models

Download homepages.inf.ed.ac.uk

Gordon D. Plotkin

claim paper

Read More »

22

FAC
2002

79views more FAC 2002»

A New Approach to Abstract Syntax with Variable Binding

13 years 7 months ago

A New Approach to Abstract Syntax with Variable Binding

Download www.cl.cam.ac.uk

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

claim paper

Read More »

24

FAC
2002

78views more FAC 2002»

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

13 years 7 months ago

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Download research.cs.queensu.ca

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

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »