Article

Unboxed values as first class citizens in a non-strict functional language

Authors:

Simon L. Peyton Jones,

John LaunchburyAuthors Info & Claims

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture

Pages 636 - 666

Published: 01 June 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Vytiniotis DPeyton Jones SMagalhães J(2012)Equality proofs and deferred type errorsACM SIGPLAN Notices10.1145/2398856.236455447:9(341-352)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2398856.2364554
Vytiniotis DPeyton Jones SMagalhães JThiemann PFindler R(2012)Equality proofs and deferred type errorsProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364554(341-352)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2364527.2364554
Gill AFarmer AChakravarty MHu ZDanvy O(2011)Deriving an efficient FPGA implementation of a low density parity check forward error correctorProceedings of the 16th ACM SIGPLAN international conference on Functional programming10.1145/2034773.2034804(209-220)Online publication date: 19-Sep-2011
https://dl.acm.org/doi/10.1145/2034773.2034804
Show More Cited By

Index Terms

Unboxed values as first class citizens in a non-strict functional language
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures
    2. Program semantics

Recommendations

Type inference for unboxed types and first class mutability
PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems

Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hard-ware specification, and temporal predictability. The robustness and checkability of these programs could be greatly improved ...
Implementing the Language: A Functional Language with Graphs as First-Class Data
Graph Transformation
Abstract
Several important data structures in programming are beyond trees; for example, difference lists, doubly-linked lists, skip lists, threaded trees, and leaf-linked trees. They can be abstracted into graphs (or more precisely, port hypergraphs). In ...
Languages as first-class citizens (vision paper)
SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

In this paper, we introduce languages as first-class citizens as a sub-paradigm of language-oriented programming. In this approach, language definitions are in the context of a general purpose programming language with the same status as any other ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture

June 1991

666 pages

ISBN:0387543961

Editor:
J. Hughes

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

50
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Vytiniotis DPeyton Jones SMagalhães J(2012)Equality proofs and deferred type errorsACM SIGPLAN Notices10.1145/2398856.236455447:9(341-352)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2398856.2364554
Vytiniotis DPeyton Jones SMagalhães JThiemann PFindler R(2012)Equality proofs and deferred type errorsProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364554(341-352)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2364527.2364554
Gill AFarmer AChakravarty MHu ZDanvy O(2011)Deriving an efficient FPGA implementation of a low density parity check forward error correctorProceedings of the 16th ACM SIGPLAN international conference on Functional programming10.1145/2034773.2034804(209-220)Online publication date: 19-Sep-2011
https://dl.acm.org/doi/10.1145/2034773.2034804
Gill AFarmer A(2011)Deriving an efficient FPGA implementation of a low density parity check forward error correctorACM SIGPLAN Notices10.1145/2034574.203480446:9(209-220)Online publication date: 19-Sep-2011
https://dl.acm.org/doi/10.1145/2034574.2034804
Mitchell N(2010)Rethinking supercompilationACM SIGPLAN Notices10.1145/1932681.186358845:9(309-320)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1932681.1863588
Mitchell NHudak PWeirich S(2010)Rethinking supercompilationProceedings of the 15th ACM SIGPLAN international conference on Functional programming10.1145/1863543.1863588(309-320)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1863543.1863588
Bergstrom LReppy J(2009)Arity raising in manticoreProceedings of the 21st international conference on Implementation and application of functional languages10.5555/1929087.1929093(90-106)Online publication date: 23-Sep-2009
https://dl.acm.org/doi/10.5555/1929087.1929093
Vaziri MTip FFink SDolby J(2007)Declarative object identity using relation typesProceedings of the 21st European conference on Object-Oriented Programming10.5555/2394758.2394764(54-78)Online publication date: 30-Jul-2007
https://dl.acm.org/doi/10.5555/2394758.2394764
Carro MMorales JMuller HPuebla GHermenegildo MHong SWolf WFlautner KKim T(2006)High-level languages for small devicesProceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems10.1145/1176760.1176794(271-281)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176760.1176794
Tarditi DMorrisett GCheng PStone CHarper RLee P(2004)TILACM SIGPLAN Notices10.1145/989393.98944939:4(554-567)Online publication date: 1-Apr-2004
https://dl.acm.org/doi/10.1145/989393.989449
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Type inference for unboxed types and first class mutability

Implementing the Language: A Functional Language with Graphs as First-Class Data

Languages as first-class citizens (vision paper)

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations