Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Acyclic Recursion with Polymorphic Types and Underspecification
Stockholm University, Faculty of Science, Department of Mathematics. (Logic)ORCID iD: 0000-0001-9678-955X
2016 (English)In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016, Vol. 2, 392-399 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
2016. Vol. 2, 392-399 p.
Keyword [en]
algorithms, recursion, types, underspecification, polymorphism
National Category
Natural Sciences Algebra and Logic Computer and Information Science Language Technology (Computational Linguistics)
Identifiers
URN: urn:nbn:se:su:diva-140033DOI: 10.5220/0005749003920399OAI: oai:DiVA.org:su-140033DiVA: diva2:1077075
Conference
8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
Available from: 2017-02-24 Created: 2017-02-24 Last updated: 2017-02-24

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://www.scitepress.org/DigitalLibrary

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
Natural SciencesAlgebra and LogicComputer and Information ScienceLanguage Technology (Computational Linguistics)

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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