Justus Sagemüller

Justus Sagemüller
Høgskulen på Vestlandet | HVL · Department of Computing, Mathematics and Physics

MS

About

1
Publication
154
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
0
Citations
Additional affiliations
June 2019 - May 2023
Høgskulen på Vestlandet
Position
  • PhD Student

Publications

Publication (1)
Conference Paper
Full-text available
Vectors in numerical computation, i.e., arrays of numbers, often represent continuous functions. We would like to reflect this with types. One apparent obstacle is that spaces of functions are typically infinite-dimensional, while the code must run in finite time and memory. We argue that this can be overcome: even in an infinite-dimensional space,...