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

Reflects downloads up to 14 Dec 2024Bibliometrics

Citation Count

1,442

Downloads (6 weeks)

724

Downloads (12 months)

5,662

Downloads (cumulative)

25,480

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

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

- 11
- 278
Metrics
Total Citations11
Total Downloads278
Last 12 Months54
Last 6 weeks12

View online with eReader
PDF

Article

Free

Separating binding times in language specifications

Torben Æ Mogensen

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

- 38
- 315
Metrics
Total Citations38
Total Downloads315
Last 12 Months37
Last 6 weeks1

View online with eReader
PDF

Article

Free

Update analysis and the efficient implementation of functional aggregates

Adrienne Bloss

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

- 47
- 398
Metrics
Total Citations47
Total Downloads398
Last 12 Months65
Last 6 weeks5

View online with eReader
PDF

Article

Free

Replacing function parameters by global variables

Peter Sestoft

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

- 72
- 617
Metrics
Total Citations72
Total Downloads617
Last 12 Months99
Last 6 weeks20

View online with eReader
PDF

Article

Free

Compile-time garbage collection by sharing analysis

Simon B. Jones,
Daniel Le Métayer

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

- 50
- 580
Metrics
Total Citations50
Total Downloads580
Last 12 Months108
Last 6 weeks23

View online with eReader
PDF

Article

Free

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

Kenneth R. Traub

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

- 5
- 344
Metrics
Total Citations5
Total Downloads344
Last 12 Months54
Last 6 weeks4

View online with eReader
PDF

Article

Free

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

John Peterson

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

- 11
- 326
Metrics
Total Citations11
Total Downloads326
Last 12 Months62
Last 6 weeks14

View online with eReader
PDF

Article

Free

Improving the three instruction machine

Guy Argo

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

- 11
- 471
Metrics
Total Citations11
Total Downloads471
Last 12 Months73
Last 6 weeks13

View online with eReader
PDF

Article

Free

Stacklessness: compiling recursion for a distributed architecture

David R. Lester

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

- 5
- 235
Metrics
Total Citations5
Total Downloads235
Last 12 Months37
Last 6 weeks4

View online with eReader
PDF

Article

Free

Transformations on higher-order functions

Hanne Riis Nielson,
Flemming Nielson

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

- 10
- 294
Metrics
Total Citations10
Total Downloads294
Last 12 Months50
Last 6 weeks5

View online with eReader
PDF

Article

Free

Automatic complexity analysis

Mads Rosendahl

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

- 129
- 1,028
Metrics
Total Citations129
Total Downloads1,028
Last 12 Months183
Last 6 weeks31

View online with eReader
PDF

Article

Free

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

Bror Bjerner,
S. Holmström

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

- 23
- 557
Metrics
Total Citations23
Total Downloads557
Last 12 Months88
Last 6 weeks3

View online with eReader
PDF

Article

Free

Retrieving re-usable software components by polymorphic type

Colin Runciman,
Ian Toyn

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

- 33
- 420
Metrics
Total Citations33
Total Downloads420
Last 12 Months31
Last 6 weeks4

View online with eReader
PDF

Article

Free

Using types as search keys in function libraries

Mikael Rittri

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

- 31
- 716
Metrics
Total Citations31
Total Downloads716
Last 12 Months143
Last 6 weeks19

View online with eReader
PDF

Article

Free

The spineless tagless G-machine

Simon L. Peyton Jones,
Jon Salkild

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

- 53
- 1,641
Metrics
Total Citations53
Total Downloads1,641
Last 12 Months477
Last 6 weeks53

View online with eReader
PDF

Article

Free

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

Lennart Augustsson,
Thomas Johnsson

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

- 53
- 676
Metrics
Total Citations53
Total Downloads676
Last 12 Months75
Last 6 weeks7

View online with eReader
PDF

Article

Free

An abstract machine for parallel graph reduction

Lal George

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

- 9
- 392
Metrics
Total Citations9
Total Downloads392
Last 12 Months22
Last 6 weeks2

View online with eReader
PDF

Article

Free

P-TAC: a parallel intermediate language

Zena Ariola,
Arvind

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

- 15
- 263
Metrics
Total Citations15
Total Downloads263
Last 12 Months19
Last 6 weeks2

View online with eReader
PDF

Article

Free

Architectural improvements for data-driven VLSI processing arrays

Shlomit Weiss,
Ilan Spillinger,
Gabriel M. Siberman

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

- 3
- 275
Metrics
Total Citations3
Total Downloads275
Last 12 Months31
Last 6 weeks5

View online with eReader
PDF

Article

Free

Strictness analysis: a new perspective based on type inference

Tsung-Min Kuo,
Prateek Mishra

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

- 59
- 360
Metrics
Total Citations59
Total Downloads360
Last 12 Months31
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

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

- 238
- 2,126
Metrics
Total Citations238
Total Downloads2,126
Last 12 Months291
Last 6 weeks32

View online with eReader
PDF

Article

Free

A simple semantics for ML polymorphism

Atsushi Ohori

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

- 24
- 458
Metrics
Total Citations24
Total Downloads458
Last 12 Months45
Last 6 weeks3

View online with eReader
PDF

Article

Free

On the complexity of type inference with coercion

Mitchell Wand,
Patrick O'Keefe

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

- 18
- 332
Metrics
Total Citations18
Total Downloads332
Last 12 Months52
Last 6 weeks5

View online with eReader
PDF

Article

Free

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

Yukihide Takayama

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

- 1
- 301
Metrics
Total Citations1
Total Downloads301
Last 12 Months39
Last 6 weeks7

View online with eReader
PDF

Article

Free

Set abstraction in functional and logic programming

Frank S. K. Silbermann,
Bharat Jayaraman

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

- 2
- 330
Metrics
Total Citations2
Total Downloads330
Last 12 Months30
Last 6 weeks3

View online with eReader
PDF

Article

Free

Nondeterminism and unification in LogScheme: integrating logic and functional programming

Erik Ruf,
Daniel Weise

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

- 1
- 339
Metrics
Total Citations1
Total Downloads339
Last 12 Months51
Last 6 weeks6

View online with eReader
PDF

Article

Free

Indeterminate behavior with determinate semantics in parallel programs

F. Warren Burton

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

- 1
- 328
Metrics
Total Citations1
Total Downloads328
Last 12 Months52
Last 6 weeks5

View online with eReader
PDF

Article

Free

Theorems for free!

Philip Wadler

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

- 478
- 9,985
Metrics
Total Citations478
Total Downloads9,985
Last 12 Months3,240
Last 6 weeks423

View online with eReader
PDF

Article

Free

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

Michel Mauny

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

- 4
- 314
Metrics
Total Citations4
Total Downloads314
Last 12 Months41
Last 6 weeks3

View online with eReader
PDF

Article

Free

Functions and dynamic user interfaces

Andrew Dwelly

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

- 1
- 421
Metrics
Total Citations1
Total Downloads421
Last 12 Months59
Last 6 weeks7

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)306
- Downloads (12 months)57
- Downloads (6 weeks)10
- Average Downloads per Article306
- 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

Comments

Please enable JavaScript to view thecomments powered by Disqus.

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

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