Functional Programming, Glasgow 1992 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer London

9783540198208, 9781447132158

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Loop-detecting Interpreter for Lazy, Higher-order Programs

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_8 ◽

1993 ◽

pp. 85-101

Author(s):

John Hughes ◽

A. B. Ferguson

Keyword(s):

Download Full-text

The Glasgow Haskell Compiler: A Retrospective

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_6 ◽

1993 ◽

pp. 62-71 ◽

Author(s):

Cordelia Hall ◽

Kevin Hammond ◽

Will Partain ◽

Simon L. Peyton Jones ◽

Philip Wadler

Download Full-text

Avoiding Unnecessary Updates

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

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

1993 ◽

pp. 144-153 ◽

Author(s):

John Launchbury ◽

Andy Gill ◽

John Hughes ◽

Simon Marlow ◽

Simon Peyton Jones ◽

...

Download Full-text

A Certain Loss of Identity

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_10 ◽

1993 ◽

pp. 113-121

Author(s):

Geraint Jones ◽

Mary Sheeran

Download Full-text

High Level Specification of I/O in Functional Languages

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

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

1993 ◽

pp. 1-17 ◽

Author(s):

Peter Achten ◽

John van Groningen ◽

Rinus Plasmeijer

Keyword(s):

Functional Languages ◽

Download Full-text

Analysing Functions by Projection-Based Backward Abstraction

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

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

1993 ◽

pp. 43-56

Author(s):

Kei Davis

Download Full-text

A Logical Framework for Program Analysis

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

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

1993 ◽

pp. 30-42 ◽

Author(s):

Geoffrey Burn

Keyword(s):

Program Analysis ◽

Logical Framework

Download Full-text

Formulating Haskell

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_23 ◽

1993 ◽

pp. 258-268 ◽

Author(s):

Simon Thompson

Download Full-text

Programming with Constructor Classes (preliminary summary)

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_11 ◽

1993 ◽

pp. 122-133

Author(s):

Mark P. Jones

Download Full-text

Abstract Interpretation of Higher Order Functions using Concrete Data Structures (Summary)

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

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

1993 ◽

pp. 57-61 ◽

Author(s):

A. B. Ferguson ◽

John Hughes

Keyword(s):

Data Structures ◽

Abstract Interpretation ◽

Higher Order ◽

Higher Order Functions

Download Full-text