Declarative Programming, Sasbachwalden 1991 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer London

9783540197355, 9781447137948

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Eight queens divided: an experience in parallel functional programming

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_7 ◽

1992 ◽

pp. 101-115

Author(s):

K. G. Langendoen ◽

W. G. Vree

Keyword(s):

Functional Programming

Download Full-text

A Tiny Functional Language with Logical Features

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_5 ◽

1992 ◽

pp. 66-79

Author(s):

Ross Paterson

Keyword(s):

Functional Language

Download Full-text

A Common Graphical Form

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_15 ◽

1992 ◽

pp. 224-238

Author(s):

David Parrott ◽

Chris Clack

Keyword(s):

Download Full-text

A Design Space for Integrating Declarative Languages

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_1 ◽

1992 ◽

pp. 3-19

Author(s):

John Darlington ◽

Yike Guo ◽

Helen Pull

Keyword(s):

Design Space ◽

Declarative Languages

Download Full-text

Enriching Prolog with S-Unification

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_4 ◽

1992 ◽

pp. 51-65

Author(s):

Andreas Kågedal ◽

Feliks Kluźniak

Download Full-text

Pers as Types, Inductive Types and Types with Laws

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_18 ◽

1992 ◽

pp. 274-291

Author(s):

Ed Voermans

Keyword(s):

Inductive Types

Download Full-text

A Systematic Method for Designing Abstract Narrowing Machines

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_13 ◽

1992 ◽

pp. 188-203

Author(s):

Hendrik C. R. Lock

Keyword(s):

Systematic Method

Download Full-text

A survey of the implementations of narrowing

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_12 ◽

1992 ◽

pp. 177-187 ◽

Author(s):

P. H. Cheong ◽

L. Fribourg

Download Full-text

How to Use Guarded Functional Programming

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_3 ◽

1992 ◽

pp. 35-50

Author(s):

Roland Dietrich

Keyword(s):

Functional Programming

Download Full-text

Introducing Constraint Functional Logic Programming

Declarative Programming, Sasbachwalden 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3794-8_2 ◽

1992 ◽

pp. 20-34 ◽

Author(s):

John Darlington ◽

Yike Guo ◽

Helen Pull

Keyword(s):

Logic Programming ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text