Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:nrm:diva-5397
Direct link
http://nrm.diva-portal.org/smash/record.jsf?pid=diva2:1816593
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Automatic alignment in higher-order programming languages
Lundén, Daniel
ORCID iD:
0000-0003-3127-5640
Çaylak, Gizem
ORCID iD:
0000-0001-9703-6912
Ronquist, Fredrik
Swedish Museum of Natural History, Department of Bioinformatics and Genetics.
(Fredrik Ronquists grupp)
ORCID iD:
0000-0002-3929-251X
Broman, David
ORCID iD:
0000-0001-8457-4105
2023 (English)
In:
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 Paris, France, April 22–27, 2023 Proceedings / [ed] Wies, Thomas, 2023, Vol. 13990, p. 535-563
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2023. Vol. 13990, p. 535-563
National Category
Computer Sciences
Research subject
Diversity of life
Identifiers
URN:
urn:nbn:se:nrm:diva-5397
DOI:
10.1007/978-3-031-30044-8_20
OAI: oai:DiVA.org:nrm-5397
DiVA, id:
diva2:1816593
Conference
ESOP 2023
Funder
Swedish Research Council, 2018-04620
Available from:
2023-12-04
Created:
2023-12-04
Last updated:
2023-12-04
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Search in DiVA
By author/editor
Lundén, Daniel
Çaylak, Gizem
Ronquist, Fredrik
Broman, David
By organisation
Department of Bioinformatics and Genetics
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 32 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:nrm:diva-5397
Direct link
http://nrm.diva-portal.org/smash/record.jsf?pid=diva2:1816593
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.45.0
|
WCAG
|
Swedish Museum of Natural History
|
DiVA Log in
DiVA
Logotyp