Workshops in Computing - Functional Programming, Glasgow 1990
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540196679, 9781447138105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strictness Analysis in 4D

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_3 ◽

1991 ◽

pp. 23-43 ◽

Cited By ~ 4

Author(s):

Kei Davis ◽

Philip Wadler

Keyword(s):

Strictness Analysis

Download Full-text

Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_23 ◽

1991 ◽

pp. 268-273

Author(s):

Muffy Thomas ◽

Phil Watson

Keyword(s):

Rewrite Rules

Download Full-text

Differentiating Strictness

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_22 ◽

1991 ◽

pp. 264-267

Author(s):

Satnam Singh

Download Full-text

An Experiment using Term Rewriting Techniques for Concurrency

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_16 ◽

1991 ◽

pp. 196-200

Author(s):

Carron Kirkwood

Keyword(s):

Term Rewriting

Download Full-text

Functional Programming with Relations

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_11 ◽

1991 ◽

pp. 126-140 ◽

Cited By ~ 1

Author(s):

Graham Hutton

Keyword(s):

Functional Programming

Download Full-text

Compiling Laziness by Partial Evaluation

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_2 ◽

1991 ◽

pp. 9-22 ◽

Cited By ~ 5

Author(s):

Anders Bondorf

Keyword(s):

Partial Evaluation

Download Full-text

Abstract Interpretation vs. Type Inference A Topological Perspective

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_12 ◽

1991 ◽

pp. 141-145

Author(s):

Thomas P. Jensen

Keyword(s):

Abstract Interpretation ◽

Type Inference

Download Full-text

Lifetime analysis

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_1 ◽

1991 ◽

pp. 1-8

Author(s):

Guy Argo

Keyword(s):

Lifetime Analysis

Download Full-text

Type Refinement in Ruby

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_17 ◽

1991 ◽

pp. 201-217

Author(s):

David Murphy

Download Full-text

Compile-Time Garbage Collection by Necessity Analysis

Workshops in Computing - Functional Programming, Glasgow 1990 ◽

10.1007/978-1-4471-3810-5_6 ◽

1991 ◽

pp. 66-70 ◽

Cited By ~ 6

Author(s):

G. W. Hamilton ◽

S. B. Jones

Keyword(s):

Garbage Collection

Download Full-text

Workshops in Computing - Functional Programming, Glasgow 1990Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Strictness Analysis in 4D

Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts

Differentiating Strictness

An Experiment using Term Rewriting Techniques for Concurrency

Functional Programming with Relations

Compiling Laziness by Partial Evaluation

Abstract Interpretation vs. Type Inference A Topological Perspective

Lifetime analysis

Type Refinement in Ruby

Compile-Time Garbage Collection by Necessity Analysis

Workshops in Computing - Functional Programming, Glasgow 1990
Latest Publications