Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Express: Applications of dynamically typed Haskell expressions
2021 (English)In: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, ACM Digital Library, 2021, p. 98-109Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents Express, a library for manipulating dynamically typed Haskell expressions involving function application and variables. Express works as a wrapper around the Data.Dynamic module and provides additional features such as: explicit encoding of function applicaion thus delayed application between values, support for variable placeholders and expression matching. This paper shows these additions make this library useful in generating program specifications, automated testing and program synthesis.

Place, publisher, year, edition, pages
ACM Digital Library, 2021. p. 98-109
Keywords [en]
program specification, functional expressions, automated testing, Haskell, program synthesis
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63322DOI: 10.1145/3471874.3472986ISBN: 978-1-4503-8615-9 (electronic)OAI: oai:DiVA.org:hj-63322DiVA, id: diva2:1826770
Conference
14th ACM SIGPLAN International Symposium on Haskell, August 26–27, 2021, Virtual, Republic of Korea
Available from: 2024-01-12 Created: 2024-01-12 Last updated: 2024-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Matela, Rudy

Search in DiVA

By author/editor
Matela, Rudy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 16 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf