Proceedings of the conference on Functional programming languages and computer architecture

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 citation
- Copy citation

FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture

Go to Proceedings of the conference on Functional programming languages and computer architecture

July 1993

1993 Proceeding

Chairman:
John Williams

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

FPCA93: Conference on Functional Programming Languages & Computer Architecture Copenhagen Denmark June 9 - 11, 1993

ISBN:

978-0-89791-595-3

Published:

01 July 1993

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 01 Mar 2025Bibliometrics

Citation Count

1,193

Downloads (6 weeks)

418

Downloads (12 months)

2,563

Downloads (cumulative)

16,133

Sections

FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture

1993

Previous Next

Abstract

No abstract available.

Select All

Export Citations Save to Binder

Article

Free

Experience with a large scientific application in a functional language

Rex L. Page,
Brian D. Moe

Pages 3–11https://doi.org/10.1145/165180.165183

- 3
- 179
Metrics
Total Citations3
Total Downloads179
Last 12 Months50
Last 6 weeks13

View online with eReader
PDF

Article

Free

Some issues in a functional implementation of a finite element algorithm

P. W. Grant,
J. A. Sharp,
M. F. Webster,
X. Zhang

Pages 12–17https://doi.org/10.1145/165180.165186

- 3
- 499
Metrics
Total Citations3
Total Downloads499
Last 12 Months47
Last 6 weeks10

View online with eReader
PDF

Article

Free

Benchmarking real-life image processing programs in lazy functional languages

Y. Kozato,
G. P. Otto

Pages 18–27https://doi.org/10.1145/165180.165187

- 4
- 398
Metrics
Total Citations4
Total Downloads398
Last 12 Months53
Last 6 weeks10

View online with eReader
PDF

Article

Free

Type inclusion constraints and type inference

Alexander Aiken,
Edward L. Wimmers

Pages 31–41https://doi.org/10.1145/165180.165188

- 209
- 1,296
Metrics
Total Citations209
Total Downloads1,296
Last 12 Months168
Last 6 weeks37

View online with eReader
PDF

Article

Free

Conjunctive subtyping

D. J. Lillie

Pages 42–51https://doi.org/10.1145/165180.165189

- 0
- 200
Metrics
Total Citations0
Total Downloads200
Last 12 Months57
Last 6 weeks10

View online with eReader
PDF

Article

Free

A system of constructor classes: overloading and implicit higher-order polymorphism

Mark P. Jones

Pages 52–61https://doi.org/10.1145/165180.165190

- 93
- 719
Metrics
Total Citations93
Total Downloads719
Last 12 Months66
Last 6 weeks14

View online with eReader
PDF

Article

Free

Implementing Haskell overloading

Lennart Augustsson

Pages 65–73https://doi.org/10.1145/165180.165191

- 51
- 578
Metrics
Total Citations51
Total Downloads578
Last 12 Months70
Last 6 weeks12

View online with eReader
PDF

Article

Free

Compiler-directed type reconstruction for polymorphic languages

Shail Aditya,
Alejandro Caro

Pages 74–82https://doi.org/10.1145/165180.165192

- 24
- 254
Metrics
Total Citations24
Total Downloads254
Last 12 Months67
Last 6 weeks10

View online with eReader
PDF

Article

Free

Precedences for conctypes

Annika Aasa

Pages 83–91https://doi.org/10.1145/165180.165193

- 1
- 237
Metrics
Total Citations1
Total Downloads237
Last 12 Months39
Last 6 weeks11

View online with eReader
PDF

Article

Free

Experiences with compiler-directed storage reclamation

James Hicks

Pages 95–105https://doi.org/10.1145/165180.165194

- 13
- 219
Metrics
Total Citations13
Total Downloads219
Last 12 Months60
Last 6 weeks13

View online with eReader
PDF

Article

Free

Generational garbage collection for Haskell

Patrick M. Sansom,
Simon L. Peyton Jones

Pages 106–116https://doi.org/10.1145/165180.165195

- 15
- 596
Metrics
Total Citations15
Total Downloads596
Last 12 Months83
Last 6 weeks4

View online with eReader
PDF

Article

Free

Fixing some space leaks without a garbage collector

Jan Sparud

Pages 117–122https://doi.org/10.1145/165180.165196

- 11
- 279
Metrics
Total Citations11
Total Downloads279
Last 12 Months56
Last 6 weeks7

View online with eReader
PDF

Article

Free

Sound rules for parallel evaluation of a functional language callcc

Luc Moreau,
Daniel Ribbens

Pages 125–135https://doi.org/10.1145/165180.165197

- 4
- 311
Metrics
Total Citations4
Total Downloads311
Last 12 Months90
Last 6 weeks18

View online with eReader
PDF

Article

Free

An operational semantics for I/O in a lazy functional language

Andrew D. Gordon

Pages 136–145https://doi.org/10.1145/165180.165199

- 5
- 431
Metrics
Total Citations5
Total Downloads431
Last 12 Months75
Last 6 weeks16

View online with eReader
PDF

Article

Free

Delimiting the scope of effects

Jon G. Riecke

Pages 146–155https://doi.org/10.1145/165180.165200

- 7
- 188
Metrics
Total Citations7
Total Downloads188
Last 12 Months22
Last 6 weeks5

View online with eReader
PDF

Article

Free

Generation and quantitative evaluation of dataflow clusters

Lucas Roh,
Walid A. Najjar,
A. P. Wim Böhm

Pages 159–168https://doi.org/10.1145/165180.165201

- 11
- 215
Metrics
Total Citations11
Total Downloads215
Last 12 Months41
Last 6 weeks6

View online with eReader
PDF

Article

Free

Efficient implementation of sequential loops in dataflow computation

Boon Seong Ang

Pages 169–178https://doi.org/10.1145/165180.165203

- 1
- 256
Metrics
Total Citations1
Total Downloads256
Last 12 Months63
Last 6 weeks15

View online with eReader
PDF

Article

Free

Polling efficiently on stock hardware

Marc Feeley

Pages 179–187https://doi.org/10.1145/165180.165205

- 52
- 400
Metrics
Total Citations52
Total Downloads400
Last 12 Months85
Last 6 weeks8

View online with eReader
PDF

Article

Free

Widening the representation bottleneck: a functional implementation of relational programming

Dave Cattrall,
Colin Runciman

Pages 191–200https://doi.org/10.1145/165180.165206

- 1
- 282
Metrics
Total Citations1
Total Downloads282
Last 12 Months38
Last 6 weeks5

View online with eReader
PDF

Article

Free

Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages

Feixiong Liu

Pages 201–209https://doi.org/10.1145/165180.165209

- 2
- 437
Metrics
Total Citations2
Total Downloads437
Last 12 Months41
Last 6 weeks8

View online with eReader
PDF

Article

Free

On the relation between functional and data parallel programming languages

Per Hammarlund,
Björn Lisper

Pages 210–219https://doi.org/10.1145/165180.165211

- 19
- 568
Metrics
Total Citations19
Total Downloads568
Last 12 Months61
Last 6 weeks13

View online with eReader
PDF

Article

Free

A short cut to deforestation

Andrew Gill,
John Launchbury,
Simon L. Peyton Jones

Pages 223–232https://doi.org/10.1145/165180.165214

- 340
- 3,560
Metrics
Total Citations340
Total Downloads3,560
Last 12 Months381
Last 6 weeks38

View online with eReader
PDF

Article

Free

A fold for all seasons

Tim Sheard,
Leonidas Fegaras

Pages 233–242https://doi.org/10.1145/165180.165216

- 114
- 562
Metrics
Total Citations114
Total Downloads562
Last 12 Months64
Last 6 weeks6

View online with eReader
PDF

Article

Free

Optimal reduction in weak-λ-calculus with shared environments

Nobuko Yoshida

Pages 243–252https://doi.org/10.1145/165180.165217

- 11
- 272
Metrics
Total Citations11
Total Downloads272
Last 12 Months75
Last 6 weeks15

View online with eReader
PDF

Article

Free

Strictness analysis using abstract reduction

Eric Nöcker

Pages 255–265https://doi.org/10.1145/165180.165219

- 20
- 254
Metrics
Total Citations20
Total Downloads254
Last 12 Months50
Last 6 weeks9

View online with eReader
PDF

Article

Free

Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates

A. V. S. Sastry,
William Clinger,
Zena Ariola

Pages 266–275https://doi.org/10.1145/165180.165222

- 20
- 293
Metrics
Total Citations20
Total Downloads293
Last 12 Months71
Last 6 weeks17

View online with eReader
PDF

Article

Free

From operational definitions to abstract semantics

S. Purushothaman,
Jill Seaman

Pages 276–285https://doi.org/10.1145/165180.165224

- 2
- 252
Metrics
Total Citations2
Total Downloads252
Last 12 Months60
Last 6 weeks6

View online with eReader
PDF

Article

Free

Real-time deques, multihead Turing machines, and purely functional programming

Tyng-Ruey Chuang,
Benjamin Goldberg

Pages 289–298https://doi.org/10.1145/165180.165225

- 20
- 471
Metrics
Total Citations20
Total Downloads471
Last 12 Months82
Last 6 weeks10

View online with eReader
PDF

Article

Free

Parallel implementation of bags

Herbert Kuchen,
Katia Gladitz

Pages 299–307https://doi.org/10.1145/165180.165226

- 6
- 316
Metrics
Total Citations6
Total Downloads316
Last 12 Months105
Last 6 weeks14

View online with eReader
PDF

Article

Free

Compiling actions by partial evaluation

Anders Bondorf,
Jens Palsberg

Pages 308–317https://doi.org/10.1145/165180.165227

- 14
- 261
Metrics
Total Citations14
Total Downloads261
Last 12 Months73
Last 6 weeks16

View online with eReader
PDF

Save to Binder

Create a New Binder

Name

Contributors

John Williams
- Publication Years
- Publication counts0
- Citation count0
- Available for Download0
- Downloads (cumulative)0
- Downloads (12 months)0
- Downloads (6 weeks)0
- Average Downloads per Article0
- Average Citation per Article0
View Full Profile

Index Terms

Proceedings of the 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
  1. Semantics and reasoning
    1. Program constructs

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
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)

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

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)