article

State in Haskell

Authors:

John Launchbury,

Simon L. Peyton JonesAuthors Info & Claims

Lisp and Symbolic Computation, Volume 8, Issue 4

Pages 293 - 341

https://doi.org/10.1007/BF01018827

Published: 01 December 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Loeve WGrelck C(2023)Fault-tolerance at your Finger Tips with the TeamPlay Coordination LanguageProceedings of the 35th Symposium on Implementation and Application of Functional Languages10.1145/3652561.3652571(1-13)Online publication date: 29-Aug-2023
https://dl.acm.org/doi/10.1145/3652561.3652571
Xie NCong YIkemori KLeijen D(2022)First-class names for effect handlersProceedings of the ACM on Programming Languages10.1145/35632896:OOPSLA2(30-59)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563289
Yanovski JDang HJung RDreyer D(2021)GhostCell: separating permissions from data in RustProceedings of the ACM on Programming Languages10.1145/34735975:ICFP(1-30)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473597
Show More Cited By

Index Terms

State in Haskell
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures
      2. Language types
        Functional languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics
      1. Denotational semantics

Recommendations

Type classes in Haskell

This article defines a set of type inference rules for resolving overloading introduced by type classes, as used in the functional programming language Haskell. Programs including type classes are transformed into ones which may be typed by standard ...
A historic functional and object-oriented calculus
PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

We present a functional object calculus which solves the traditional conflict between matching-based functional programming and object-oriented programming, by treating uniformly method invocations and functional constructor applications. The key ...
ML^F for everyone (users, implementers, and designers)
ML '07: Proceedings of the 2007 workshop on Workshop on ML

ML^F is an alternative to ML that permits second-order polymorphism as in System F but retains (partial) type inference a la ML. Type annotations are requested only on parameters of functions that are used polymorphically. Type abstractions and type ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 December 1995

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

92
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Loeve WGrelck C(2023)Fault-tolerance at your Finger Tips with the TeamPlay Coordination LanguageProceedings of the 35th Symposium on Implementation and Application of Functional Languages10.1145/3652561.3652571(1-13)Online publication date: 29-Aug-2023
https://dl.acm.org/doi/10.1145/3652561.3652571
Xie NCong YIkemori KLeijen D(2022)First-class names for effect handlersProceedings of the ACM on Programming Languages10.1145/35632896:OOPSLA2(30-59)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563289
Yanovski JDang HJung RDreyer D(2021)GhostCell: separating permissions from data in RustProceedings of the ACM on Programming Languages10.1145/34735975:ICFP(1-30)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473597
Xie NBrachthäuser JHillerström DSchuster PLeijen D(2020)Effect handlers, evidentlyProceedings of the ACM on Programming Languages10.1145/34089814:ICFP(1-29)Online publication date: 3-Aug-2020
https://dl.acm.org/doi/10.1145/3408981
Xie NLeijen DSchrijvers T(2020)Effect handlers in Haskell, evidentlyProceedings of the 13th ACM SIGPLAN International Symposium on Haskell10.1145/3406088.3409022(95-108)Online publication date: 27-Aug-2020
https://dl.acm.org/doi/10.1145/3406088.3409022
Padovani L(2019)Context-Free Session Type InferenceACM Transactions on Programming Languages and Systems10.1145/322906241:2(1-37)Online publication date: 15-Mar-2019
https://dl.acm.org/doi/10.1145/3229062
Šinkarovs AScholz SStewart RVießmann H(2017)Recursive Array Comprehensions in a Call-by-Value LanguageProceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3205368.3205373(1-12)Online publication date: 30-Aug-2017
https://dl.acm.org/doi/10.1145/3205368.3205373
Timany AStefanesco LKrogh-Jespersen MBirkedal L(2017)A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runSTProceedings of the ACM on Programming Languages10.1145/31581522:POPL(1-28)Online publication date: 27-Dec-2017
https://dl.acm.org/doi/10.1145/3158152
Bernardy JBoespflug MNewton RPeyton Jones SSpiwack A(2017)Linear Haskell: practical linearity in a higher-order polymorphic languageProceedings of the ACM on Programming Languages10.1145/31580932:POPL(1-29)Online publication date: 27-Dec-2017
https://dl.acm.org/doi/10.1145/3158093
Mainland GLeshchinskiy RJones S(2017)Exploiting vector instructions with generalized stream fusionCommunications of the ACM10.1145/306059760:5(83-91)Online publication date: 24-Apr-2017
https://dl.acm.org/doi/10.1145/3060597
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

Type classes in Haskell

A historic functional and object-oriented calculus

MLF for everyone (users, implementers, and designers)

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations

ML^F for everyone (users, implementers, and designers)