E-LIB Suche - Ergebnisse für: Nordvall Forsberg, Fredrik

1

Responsible composition and optimization of integration pro..:

Ritter, Daniel ; Nordvall Forsberg, Fredrik ; Rinderle-Ma, Stefanie
Information Systems. 124 (2024) - p. 102400 , 2024

Link: https://doi.org/10.1016/..

2

Type-theoretic approaches to ordinals:

Kraus, Nicolai ; Nordvall Forsberg, Fredrik ; Xu, Chuangjie
Theoretical Computer Science. 957 (2023) - p. 113843 , 2023

Link: https://doi.org/10.1016/..

3

Measuring with confidence: leveraging expressive type syste..:

McBride, Conor ; Nakov, Georgi ; Nordvall Forsberg, Fredrik
Acta IMEKO. 12 (2023) 1 - p. 1-5 , 2023

Link: https://doi.org/10.21014..

4

Quotient Inductive-Inductive Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Altenkirch, Thorsten ; Capriotti, Paolo ; Dijkstra, Gabe.. - p. 293-310 , 2018

Link: https://doi.org/10.1007/..

5

A compositional treatment of iterated open games:

Ghani, Neil ; Kupke, Clemens ; Lambert, Alasdair.
Theoretical Computer Science. 741 (2018) - p. 48-57 , 2018

Link: https://doi.org/10.1016/..

6

A Fresh Look at Commutativity: Free Algebraic Structures vi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Kupke, Clemens ; Forsberg, Fredrik Nordvall ; Watters, Sean - p. 135-154 , 2023

Link: https://doi.org/10.1007/..

7

Set-Theoretic and Type-Theoretic Ordinals Coincide:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

de Jong, Tom ; Kraus, Nicolai ; Forsberg, Fredrik Nordvall. - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

8

Three equivalent ordinal notation systems in cubical Agda:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Forsberg, Fredrik Nordvall ; Xu, Chuangjie ; Ghani, Neil - p. 172-185 , 2020

Link: https://dl.acm.org/doi/1..

9

Universal properties for universal types in bifibrational p..:

Ghani, Neil ; Forsberg, Fredrik Nordvall ; Orsanigo, Federico
Mathematical Structures in Computer Science. 29 (2019) 6 - p. 810-827 , 2019

Link: https://doi.org/10.1017/..

10

Optimization Strategies for Integration Pattern Composition:

, In: Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems,

Ritter, Daniel ; May, Norman ; Forsberg, Fredrik Nordvall. - p. 88-99 , 2018

Link: https://dl.acm.org/doi/1..

11

Bifibrational Functorial Semantics of Parametric Polymorphi..:

Ghani, Neil ; Johann, Patricia ; Forsberg, Fredrik Nordvall..
Electronic Notes in Theoretical Computer Science. 319 (2015) - p. 165-181 , 2015

Link: https://doi.org/10.1016/..

12

Fibred Data Types:

, In: Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ghani, Neil ; Malatesta, Lorenzo ; Forsberg, Fredrik Nordvall. - p. 243-252 , 2013

Link: https://dl.acm.org/doi/1..

13

Type-Theoretic Approaches to Ordinals:

Kraus, Nicolai ; Nordvall Forsberg, Fredrik ; Xu, Chuangjie
doi:10.5281/zenodo.7657416. , 2023

Link: https://zenodo.org/recor..

14

Set-Theoretic and Type-Theoretic Ordinals Coincide:

KRAUS, NICOLAI ; de Jong, Tom ; Nordvall Forsberg, Fredrik.
https://nottingham-repository.worktribe.com/output/22715787. , 2023

Link: https://nottingham-repos..

15

Set-Theoretic and Type-Theoretic Ordinals Coincide:

de Jong, Tom ; Kraus, Nicolai ; Nordvall Forsberg, Fredrik.
doi:10.5281/zenodo.7857274. , 2023

Link: https://zenodo.org/recor..