Article

Free access

Implementing Haskell overloading

Author:

Lennart AugustssonAuthors Info & Claims

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

Pages 65 - 73

https://doi.org/10.1145/165180.165191

Published: 01 July 1993 Publication History

PDF eReader

References

[1]

L. Augustsson and T. Johnsson. The Chalmers Lazy-ML Compiler. The Computer Journal, 32(2):127-141, 1989.

Digital Library

Google Scholar

[2]

L. Augustsson. HBC User's Manual. Programming Methodology Group, Department of Computer Sciences, Chalmers, S-412 96 GSteborg, Sweden, 1993. Distributed with the HBC cornprier.

Google Scholar

[3]

Craig Chambers. The Design and Implementation of the SELF Compiler, an Optimizing Compiler .for Object Oriented Programming Languages. PhD thesis, Computer Science Department, Stanford University, 1993.

Digital Library

Google Scholar

[4]

L. Peter Deutsch and Allan M. Schiffman. Efficient Implementation of the Smalltalk~80 System. In Proceedings 198g, Symposium Prince. ples of Programming Languages, pages 297-302, Austin, Texas, 1984.

Digital Library

Google Scholar

[5]

Cordelia Hall, Kevin He{mmond, Simon Peyton Jones, and Philip Wadler. Type Classes in Haskell. Report, Department of Computer Science, Glasgow University, 1992.

Google Scholar

[6]

P. Hartel ~nd K. Langendoen. Benchmarking implementations of lazy functional languages. In Proceedings 1993 Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 1993.

Digital Library

Google Scholar

[7]

Paul Hudak et al. Report on the Programming Language Haskeli: A Non. Strict, Purely Functional Language, March 1992. Version 1.2. Also in Sigplan Notices, May 1992.

Digital Library

Google Scholar

[8]

T. Johnsson. Compiling Lazy Functional Languages. PhD thesis, Department of Computer Sciences, Chalmers University of Technology, GSteborg, Sweden, February 1987.

Google Scholar

[9]

Mark Jones. A new approach to the implementation of type classes. Appeared on the Haskell mailing list.

Google Scholar

[10]

Stefan Kaes. Parametric overloading in polymorphic programming languages. In ~nd European Symposium On Programming, Lecture Notes in Computer Science, pages 131-144. Springer Verlag, 1988.

Digital Library

Google Scholar

[11]

S.L. Peyton Jones and Jon Salkild. The Spineless Tagless G-machine. in Proceedings of the 1989 Conference on Functional Programming Languages and Computer Architecture, London, Great Britain, 1989.

Digital Library

Google Scholar

[12]

Sjaak Smetsers, Erik NScker, John van Groningen, and Rinus Plasmeyer. Generating efficient code for lazy functional languages. In Proceedings of the 1991 Conference on Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, July 1991.

Digital Library

Google Scholar

[13]

Bjarne Stroustrup. C-I-d- Reference Manual.

Google Scholar

[14]

P. Wadler and S. Blott. How to make ad hoc polymorphism less ad hoc. In Proceedings 1989 Symposium Principles of Programming Languages, pages 60-76, Austin, Texas, 1989.

Digital Library

Google Scholar

Cited By

View all

Iida YFujii YAzumi TNishio NKato S(2016)GPUrpcACM Transactions on Embedded Computing Systems10.1145/295005616:1(1-25)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2950056
Tuncali CFainekos GLee Y(2016)Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore PlatformsACM Transactions on Embedded Computing Systems10.1145/295005516:1(1-26)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2950055
Fusella ECilardo A(2016)Crosstalk-Aware Automated Mapping for Optical Networks-on-ChipACM Transactions on Embedded Computing Systems10.1145/293066616:1(1-26)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2930666
Show More Cited By

Index Terms

Implementing Haskell overloading
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Procedures, functions and subroutines
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Functional constructs
      2. Type structures

Recommendations

Implementing a Java JIT compiler in Haskell: case study
PPPJ '13: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

We present a JVM prototype implemented in the purely-functional language Haskell. It exploits several features of the language, such as strong static typing to implement an intermediate representation, and abstraction mechanism to express machine code ...
The Intel labs Haskell research compiler
Haskell '13

The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the Haskell programming language, along with its own extensions to the language and libraries. Haskell's lazy semantics imposes a runtime model which is in general difficult ...
Camlp4 and Template Haskell
CUFP '10: ACM SIGPLAN Commercial Users of Functional Programming

"Static metaprogramming" is compile-time code analysis and synthesis. It has many applications, such as (from simple to complex): defining abbreviations, generating boilerplate from type definitions, extending the language syntax, and embedding DSLs.

...

Comments

Information & Contributors

Information

Published In

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

July 1993

350 pages

ISBN:089791595X

DOI:10.1145/165180

Chairman:
John Williams

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

FPCA93

Sponsor:

SIGPLAN
IFIP WG 2.8
SIGARCH

FPCA93: Conference on Functional Programming Languages & Computer Architecture

June 9 - 11, 1993

Copenhagen, Denmark

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

51
Total Citations
View Citations
563
Total Downloads

Downloads (Last 12 months)65
Downloads (Last 6 weeks)12

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Iida YFujii YAzumi TNishio NKato S(2016)GPUrpcACM Transactions on Embedded Computing Systems10.1145/295005616:1(1-25)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2950056
Tuncali CFainekos GLee Y(2016)Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore PlatformsACM Transactions on Embedded Computing Systems10.1145/295005516:1(1-26)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2950055
Fusella ECilardo A(2016)Crosstalk-Aware Automated Mapping for Optical Networks-on-ChipACM Transactions on Embedded Computing Systems10.1145/293066616:1(1-26)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2930666
Hilal ABasir O(2016)A Collaborative Energy-Aware Sensor Management System Using Team TheoryACM Transactions on Embedded Computing Systems10.1145/291057415:3(1-26)Online publication date: 23-May-2016
https://dl.acm.org/doi/10.1145/2910574
Lu YRooholamin SZiavras S(2016)Vector Coprocessor Virtualization for Simultaneous MultithreadingACM Transactions on Embedded Computing Systems10.1145/289836415:3(1-25)Online publication date: 23-May-2016
https://dl.acm.org/doi/10.1145/2898364
Wang KDu MYang DZhu CShen JZhang Y(2016)Game-Theory-Based Active Defense for Intrusion Detection in Cyber-Physical Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/288610016:1(1-21)Online publication date: 13-Oct-2016
https://dl.acm.org/doi/10.1145/2886100
Ahmed RRamanathan PSaluja K(2016)Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks Under Fluid Scheduling ModelACM Transactions on Embedded Computing Systems10.1145/288361215:3(1-26)Online publication date: 23-May-2016
https://dl.acm.org/doi/10.1145/2883612
Sotiriou-Xanthopoulos EXydis SSiozios KEconomakos GSoudris D(2016)An Integrated Exploration and Virtual Platform Framework for Many-Accelerator Heterogeneous SystemsACM Transactions on Embedded Computing Systems10.1145/286657815:3(1-26)Online publication date: 18-Mar-2016
https://dl.acm.org/doi/10.1145/2866578
Nagar KSrikant Y(2016)Fast and Precise Worst-Case Interference Placement for Shared Cache AnalysisACM Transactions on Embedded Computing Systems10.1145/285415115:3(1-26)Online publication date: 7-Mar-2016
https://dl.acm.org/doi/10.1145/2854151
Benmansour ABouchachia AFeham M(2015)Multioccupant Activity Recognition in Pervasive Smart Home EnvironmentsACM Computing Surveys10.1145/283537248:3(1-36)Online publication date: 9-Dec-2015
https://dl.acm.org/doi/10.1145/2835372
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Implementing a Java JIT compiler in Haskell: case study

The Intel labs Haskell research compiler

Camlp4 and Template Haskell

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Implementing a Java JIT compiler in Haskell: case study

The Intel labs Haskell research compiler

Camlp4 and Template Haskell

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations