Proceedings of the fourth international conference on Functional programming languages and computer architecture

FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture

November 1989

1989 Proceeding

Chairman:
Joseph E. Stoy

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

FPCA89: The International Conference on Functional Programming Languages & Computer Architectures Imperial College, London United Kingdom September 11 - 13, 1989

ISBN:

978-0-89791-328-7

Published:

01 November 1989

Sponsors:

SIGPLAN, IFIP WG 2.8, SIGARCH

Get Alerts for this ConferenceAlerts Save to BinderBinder

Save to Binder

Create a New Binder

Name

Export CitationCitation

Share on

Bibliometrics

Citation count

1,429

Downloads (6 weeks)

727

Downloads (12 months)

5,417

Downloads (cumulative)

22,300

Sections

FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture

1989

Previous Next

Abstract

No abstract available.

Select All

Export Citations Save to Binder

Article

Free

Frontiers and open sets in abstract interpretation

Sebastian Hunt

pp 1–13https://doi.org/10.1145/99370.99371

- 11
- 235
Metrics
Total Citations11
Total Downloads235
Last 12 Months22
Last 6 weeks2

View online with eReader
PDF

Article

Free

Separating binding times in language specifications

Torben Æ Mogensen

pp 12–25https://doi.org/10.1145/99370.99372

- 38
- 285
Metrics
Total Citations38
Total Downloads285
Last 12 Months44
Last 6 weeks0

View online with eReader
PDF

Article

Free

Update analysis and the efficient implementation of functional aggregates

Adrienne Bloss

pp 26–38https://doi.org/10.1145/99370.99373

- 47
- 348
Metrics
Total Citations47
Total Downloads348
Last 12 Months38
Last 6 weeks1

View online with eReader
PDF

Article

Free

Replacing function parameters by global variables

Peter Sestoft

pp 39–53https://doi.org/10.1145/99370.99374

- 72
- 553
Metrics
Total Citations72
Total Downloads553
Last 12 Months67
Last 6 weeks9

View online with eReader
PDF

Article

Free

Compile-time garbage collection by sharing analysis

Simon B. Jones,
Daniel Le Métayer

pp 54–74https://doi.org/10.1145/99370.99375

- 50
- 496
Metrics
Total Citations50
Total Downloads496
Last 12 Months49
Last 6 weeks6

View online with eReader
PDF

Article

Free

Compilation as partitioning: a new approach to compiling non-strict functional languages

Kenneth R. Traub

pp 75–88https://doi.org/10.1145/99370.99376

- 5
- 305
Metrics
Total Citations5
Total Downloads305
Last 12 Months23
Last 6 weeks3

View online with eReader
PDF

Article

Free

Untagged data in tagged environments: choosing optimal representations at compile time

John Peterson

pp 89–99https://doi.org/10.1145/99370.99377

- 11
- 276
Metrics
Total Citations11
Total Downloads276
Last 12 Months38
Last 6 weeks3

View online with eReader
PDF

Article

Free

Improving the three instruction machine

Guy Argo

pp 100–115https://doi.org/10.1145/99370.99378

- 11
- 425
Metrics
Total Citations11
Total Downloads425
Last 12 Months60
Last 6 weeks2

View online with eReader
PDF

Article

Free

Stacklessness: compiling recursion for a distributed architecture

David R. Lester

pp 116–128https://doi.org/10.1145/99370.99379

- 5
- 209
Metrics
Total Citations5
Total Downloads209
Last 12 Months19
Last 6 weeks3

View online with eReader
PDF

Article

Free

Transformations on higher-order functions

Hanne Riis Nielson,
Flemming Nielson

pp 129–143https://doi.org/10.1145/99370.99380

- 10
- 265
Metrics
Total Citations10
Total Downloads265
Last 12 Months28
Last 6 weeks7

View online with eReader
PDF

Article

Free

Automatic complexity analysis

Mads Rosendahl

pp 144–156https://doi.org/10.1145/99370.99381

- 128
- 919
Metrics
Total Citations128
Total Downloads919
Last 12 Months161
Last 6 weeks18

View online with eReader
PDF

Article

Free

A composition approach to time analysis of first order lazy functional programs

Bror Bjerner,
S. Holmström

pp 157–165https://doi.org/10.1145/99370.99382

- 22
- 509
Metrics
Total Citations22
Total Downloads509
Last 12 Months89
Last 6 weeks9

View online with eReader
PDF

Article

Free

Retrieving re-usable software components by polymorphic type

Colin Runciman,
Ian Toyn

pp 166–173https://doi.org/10.1145/99370.99383

- 33
- 402
Metrics
Total Citations33
Total Downloads402
Last 12 Months25
Last 6 weeks2

View online with eReader
PDF

Article

Free

Using types as search keys in function libraries

Mikael Rittri

pp 174–183https://doi.org/10.1145/99370.99384

- 31
- 639
Metrics
Total Citations31
Total Downloads639
Last 12 Months122
Last 6 weeks21

View online with eReader
PDF

Article

Free

The spineless tagless G-machine

Simon L. Peyton Jones,
Jon Salkild

pp 184–201https://doi.org/10.1145/99370.99385

- 53
- 1,405
Metrics
Total Citations53
Total Downloads1,405
Last 12 Months391
Last 6 weeks132

View online with eReader
PDF

Article

Free

Parallel graph reduction with the (v , G)-machine

Lennart Augustsson,
Thomas Johnsson

pp 202–213https://doi.org/10.1145/99370.99386

- 53
- 626
Metrics
Total Citations53
Total Downloads626
Last 12 Months60
Last 6 weeks9

View online with eReader
PDF

Article

Free

An abstract machine for parallel graph reduction

Lal George

pp 214–229https://doi.org/10.1145/99370.99387

- 9
- 376
Metrics
Total Citations9
Total Downloads376
Last 12 Months12
Last 6 weeks2

View online with eReader
PDF

Article

Free

P-TAC: a parallel intermediate language

Zena Ariola,
Arvind

pp 230–242https://doi.org/10.1145/99370.99388

- 15
- 249
Metrics
Total Citations15
Total Downloads249
Last 12 Months7
Last 6 weeks1

View online with eReader
PDF

Article

Free

Architectural improvements for data-driven VLSI processing arrays

Shlomit Weiss,
Ilan Spillinger,
Gabriel M. Siberman

pp 243–259https://doi.org/10.1145/99370.99389

- 3
- 249
Metrics
Total Citations3
Total Downloads249
Last 12 Months13
Last 6 weeks3

View online with eReader
PDF

Article

Free

Strictness analysis: a new perspective based on type inference

Tsung-Min Kuo,
Prateek Mishra

pp 260–272https://doi.org/10.1145/99370.99390

- 59
- 337
Metrics
Total Citations59
Total Downloads337
Last 12 Months16
Last 6 weeks1

View online with eReader
PDF

Article

Free

F-bounded polymorphism for object-oriented programming

Peter Canning,
William Cook,
Walter Hill,
Walter Olthoff,
John C. Mitchell

pp 273–280https://doi.org/10.1145/99370.99392

- 237
- 1,973
Metrics
Total Citations237
Total Downloads1,973
Last 12 Months242
Last 6 weeks68

View online with eReader
PDF

Article

Free

A simple semantics for ML polymorphism

Atsushi Ohori

pp 281–292https://doi.org/10.1145/99370.99393

- 24
- 428
Metrics
Total Citations24
Total Downloads428
Last 12 Months39
Last 6 weeks4

View online with eReader
PDF

Article

Free

On the complexity of type inference with coercion

Mitchell Wand,
Patrick O'Keefe

pp 293–298https://doi.org/10.1145/99370.99394

- 18
- 295
Metrics
Total Citations18
Total Downloads295
Last 12 Months31
Last 6 weeks10

View online with eReader
PDF

Article

Free

Extended projection—new method to extract efficient programs from constructive proofs

Yukihide Takayama

pp 299–312https://doi.org/10.1145/99370.99396

- 1
- 267
Metrics
Total Citations1
Total Downloads267
Last 12 Months8
Last 6 weeks2

View online with eReader
PDF

Article

Free

Set abstraction in functional and logic programming

Frank S. K. Silbermann,
Bharat Jayaraman

pp 313–326https://doi.org/10.1145/99370.99398

- 2
- 310
Metrics
Total Citations2
Total Downloads310
Last 12 Months18
Last 6 weeks2

View online with eReader
PDF

Article

Free

Nondeterminism and unification in LogScheme: integrating logic and functional programming

Erik Ruf,
Daniel Weise

pp 327–339https://doi.org/10.1145/99370.99400

- 1
- 304
Metrics
Total Citations1
Total Downloads304
Last 12 Months30
Last 6 weeks3

View online with eReader
PDF

Article

Free

Indeterminate behavior with determinate semantics in parallel programs

F. Warren Burton

pp 340–346https://doi.org/10.1145/99370.99402

- 1
- 286
Metrics
Total Citations1
Total Downloads286
Last 12 Months23
Last 6 weeks3

View online with eReader
PDF

Article

Free

Theorems for free!

Philip Wadler

pp 347–359https://doi.org/10.1145/99370.99404

- 468
- 8,310
Metrics
Total Citations468
Total Downloads8,310
Last 12 Months3,644
Last 6 weeks395

View online with eReader
PDF

Article

Free

Parsers and printers as stream destructors and constructors embedded in functional languages

Michel Mauny

pp 360–370https://doi.org/10.1145/99370.99405

- 4
- 286
Metrics
Total Citations4
Total Downloads286
Last 12 Months23
Last 6 weeks3

View online with eReader
PDF

Article

Free

Functions and dynamic user interfaces

Andrew Dwelly

pp 371–381https://doi.org/10.1145/99370.99407

- 1
- 382
Metrics
Total Citations1
Total Downloads382
Last 12 Months50
Last 6 weeks2

View online with eReader
PDF

Save to Binder

Create a New Binder

Name

Contributors

Joseph E Stoy
University of Oxford
- Publication Years1977 - 2001
- Publication counts9
- Citation count275
- Available for Download1
- Downloads (cumulative)268
- Downloads (12 months)31
- Downloads (6 weeks)8
- Average Downloads per Article268
- Average Citation per Article31
View Full Profile

Index Terms

Proceedings of the fourth international conference on Functional programming languages and computer architecture
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language features
      2. Language types
        Functional languages
2. Theory of computation

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Read More
UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing
Read More
CompSysTech '12: Proceedings of the 13th International Conference on Computer Systems and Technologies
Read More

Comments

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

Save to Binder

Sections

Save to Binder

Index Terms

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing

UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing

CompSysTech '12: Proceedings of the 13th International Conference on Computer Systems and Technologies