article

Formatting: a class act

Author:

Ralf HinzeAuthors Info & Claims

Journal of Functional Programming, Volume 13, Issue 5

Pages 935 - 944

https://doi.org/10.1017/S0956796802004367

Published: 01 September 2003 Publication History

Abstract

When I was a student, Simula was one of the languages taught in introductory programming language courses and I vividly remember a sticker one of our instructors had attached to the door of his office, saying “Simula does it with class”. I guess the same holds for Haskell except that Haskell replaces classes by type classes.

References

[1]

Augustsson, L. (1999) Cayenne - a language with dependent types. SIGPLAN Notices, 34(1): 239-250.

Digital Library

Google Scholar

[2]

Danvy, O. (1998) Functional unparsing. J. Functional Programming, 8(6): 621-625.

Digital Library

Google Scholar

[3]

Gasbichler, M., Neubauer, M., Sperber, M. and Thiemann, P. (2002) Functional logic overloading. Proceedings 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL' 02), Portland, OR.

Crossref

Google Scholar

[4]

Hallgren, T. (2001) Fun with functional dependencies. Proceedings Joint CS/CE Winter Meeting, pp. 135-145. Department of Computing Science, Chalmers, Göteborg, Sweden.

Google Scholar

[5]

Jones, M. P. (2000) Type classes with functional dependencies. In: Smolka, G., (editor), Proceedings 9th European Symposium on Programming, ESOP 2000: Lecture Notes in Computer Science 1782, pp. 230-244. Berlin, Germany. Springer-Verlag.

Google Scholar

[6]

McBride, C. (2002) Faking it (simulating dependent types in Haskell). J. Functional Programming. To appear.

Crossref

Google Scholar

[7]

Neubauer, M., Thiemann, P., Gasbichler, M. and Sperber, M. (2001) A functional notation for functional dependencies. In: Hinze, R. (editor), Proceedings 2001 ACM SIGPLAN Haskell Workshop, pp. 101-120. Firenze, Italy.

Google Scholar

[8]

Wadler, P. (1989) Theorems for free! Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89), pp. 347-359. London, UK, Addison-Wesley.

Crossref

Google Scholar

Cited By

View all

Weitz KKim GSrisakaokul SErnst MPăsăreanu CMarinov D(2014)A type system for format stringsProceedings of the 2014 International Symposium on Software Testing and Analysis10.1145/2610384.2610417(127-137)Online publication date: 21-Jul-2014
https://dl.acm.org/doi/10.1145/2610384.2610417
Asai KKiselyov OShan C(2011)Functional un|unparsingHigher-Order and Symbolic Computation10.1007/s10990-012-9087-224:4(311-340)Online publication date: 1-Nov-2011
https://dl.acm.org/doi/10.1007/s10990-012-9087-2
Rendel TOstermann K(2010)Invertible syntax descriptionsACM SIGPLAN Notices10.1145/2088456.186352545:11(1-12)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863525
Show More Cited By

Recommendations

The Fiverr Master Class: The Fiverr Secrets Of Six Power Sellers That Enable You To Work From Home -Fiverr, Make Money Online, Fiverr Ideas, Fiverr ... At Home, Fiverr SEO, Fiverr.com - Volume 1
Contracts for first-class classes
DLS '10

First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers can abstract over common scenarios with first-class classes. When it comes to behavioral software contracts, however, first-class classes ...
Contracts for first-class classes
DLS '10: Proceedings of the 6th symposium on Dynamic languages

First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers can abstract over common scenarios with first-class classes. When it comes to behavioral software contracts, however, first-class classes ...

Comments

Information & Contributors

Information

Published In

cover image Journal of Functional Programming

Journal of Functional Programming Volume 13, Issue 5

September 2003

124 pages

ISSN:0956-7968

Issue’s Table of Contents

Publisher

Cambridge University Press

United States

Publication History

Published: 01 September 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Weitz KKim GSrisakaokul SErnst MPăsăreanu CMarinov D(2014)A type system for format stringsProceedings of the 2014 International Symposium on Software Testing and Analysis10.1145/2610384.2610417(127-137)Online publication date: 21-Jul-2014
https://dl.acm.org/doi/10.1145/2610384.2610417
Asai KKiselyov OShan C(2011)Functional un|unparsingHigher-Order and Symbolic Computation10.1007/s10990-012-9087-224:4(311-340)Online publication date: 1-Nov-2011
https://dl.acm.org/doi/10.1007/s10990-012-9087-2
Rendel TOstermann K(2010)Invertible syntax descriptionsACM SIGPLAN Notices10.1145/2088456.186352545:11(1-12)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863525
Rendel TOstermann KGibbons J(2010)Invertible syntax descriptionsProceedings of the third ACM Haskell symposium on Haskell10.1145/1863523.1863525(1-12)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/1863523.1863525
Kiselyov O(2010)Typed tagless final interpretersProceedings of the 2010 international spring school conference on Generic and Indexed Programming10.1007/978-3-642-32202-0_3(130-174)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-32202-0_3
Asai K(2009)On typing delimited continuationsHigher-Order and Symbolic Computation10.1007/s10990-009-9049-522:3(275-291)Online publication date: 1-Sep-2009
https://dl.acm.org/doi/10.1007/s10990-009-9049-5
Barbosa LCunha JVisser JArbab FBaier C(2007)A type-level approach to component prototypingInternational workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting10.1145/1294917.1294920(23-36)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.1145/1294917.1294920
Silva AVisser JLöh A(2006)Strong types for relational databasesProceedings of the 2006 ACM SIGPLAN workshop on Haskell10.1145/1159842.1159846(25-36)Online publication date: 17-Sep-2006
https://dl.acm.org/doi/10.1145/1159842.1159846
Chakravarty MKeller GJones S(2005)Associated type synonymsACM SIGPLAN Notices10.1145/1090189.108639740:9(241-253)Online publication date: 12-Sep-2005
https://dl.acm.org/doi/10.1145/1090189.1086397
Chakravarty MKeller GJones SDanvy OPierce B(2005)Associated type synonymsProceedings of the tenth ACM SIGPLAN international conference on Functional programming10.1145/1086365.1086397(241-253)Online publication date: 28-Sep-2005
https://dl.acm.org/doi/10.1145/1086365.1086397
Show More Cited By

Abstract

References

Cited By

Recommendations

The Fiverr Master Class: The Fiverr Secrets Of Six Power Sellers That Enable You To Work From Home -Fiverr, Make Money Online, Fiverr Ideas, Fiverr ... At Home, Fiverr SEO, Fiverr.com - Volume 1

Contracts for first-class classes

Contracts for first-class classes

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations