

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Next Generation Arithmetic
611,-

Coordination Models and Languages
584,-

Practical Aspects of Declarative Languages
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Topics in Theoretical Computer Science
584,-

Formal Methods
674,-

Discrete and Computational Geometry, Graphs, and Games
611,-

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Next Generation Arithmetic
611,-

Coordination Models and Languages
584,-

Practical Aspects of Declarative Languages
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Topics in Theoretical Computer Science
584,-

Formal Methods
674,-

Discrete and Computational Geometry, Graphs, and Games
611,-















