Functional Programming, Glasgow 1991 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540197607, 9781447131960

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Type Inference Using Monads (Summary)

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_12 ◽

1992 ◽

pp. 146-157 ◽

Cited By ~ 1

Author(s):

Kevin Hammond

Keyword(s):

Type Inference ◽

Efficient Type

Download Full-text

A Note on the Choice of Domains for Projection-Based Program Analysis

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_6 ◽

1992 ◽

pp. 73-81

Author(s):

Kei Davis

Keyword(s):

Program Analysis

Download Full-text

Combining Single-Space and Two-Space Compacting Garbage Collectors

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_25 ◽

1992 ◽

pp. 312-323 ◽

Cited By ~ 2

Author(s):

Patrick M Sansom

Download Full-text

Functional Compilation from the Standard ML Core Language to Lambda Calculus

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_21 ◽

1992 ◽

pp. 265-277

Author(s):

Nick Rothwell

Keyword(s):

Lambda Calculus ◽

Standard Ml ◽

Core Language

Download Full-text

From Primitive Recursive Functions to Silicon through Relations

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_20 ◽

1992 ◽

pp. 253-264

Author(s):

Lars Rossen

Keyword(s):

Recursive Functions ◽

Primitive Recursive

Download Full-text

Making functionality more general

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_15 ◽

1992 ◽

pp. 177-190 ◽

Cited By ~ 1

Author(s):

Graham Hutton ◽

Ed Voermans

Download Full-text

Getting your wires crossed

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_16 ◽

1992 ◽

pp. 191-206

Author(s):

Geraint Jones

Download Full-text

Extending Deforestation for First Order Functional Programs

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_11 ◽

1992 ◽

pp. 134-145 ◽

Cited By ~ 1

Author(s):

G. W. Hamilton ◽

S. B. Jones

Keyword(s):

First Order

Download Full-text

Debugging by Dataflow — Summary

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_29 ◽

1992 ◽

pp. 347-351

Author(s):

Duncan C. Sinclair

Download Full-text

Requirements for a Functional Programming Environment

Functional Programming, Glasgow 1991 - Workshops in Computing ◽

10.1007/978-1-4471-3196-0_28 ◽

1992 ◽

pp. 339-346

Author(s):

Ben A. Sijtsma

Keyword(s):

Functional Programming ◽

Programming Environment

Download Full-text

Functional Programming, Glasgow 1991 - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Efficient Type Inference Using Monads (Summary)

A Note on the Choice of Domains for Projection-Based Program Analysis

Combining Single-Space and Two-Space Compacting Garbage Collectors

Functional Compilation from the Standard ML Core Language to Lambda Calculus

From Primitive Recursive Functions to Silicon through Relations

Making functionality more general

Getting your wires crossed

Extending Deforestation for First Order Functional Programs

Debugging by Dataflow — Summary

Requirements for a Functional Programming Environment

Functional Programming, Glasgow 1991 - Workshops in Computing
Latest Publications