If you made any changes in Pure these will be visible here soon.

Research Output 2009 2019

Filter
Conference contribution book
2018
1 Citation (Scopus)

Optimization strategies for integration pattern compositions

Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York, 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Chemical analysis
Industry
4 Citations (Scopus)

Quotient inductive-inductive types

Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Algebra
Semantics
2017

Variations on inductive-recursive definitions

Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Algebra
Chemical analysis
2016
1 Citation (Scopus)

Comprehensive parametric polymorphism: categorical models and type theory

Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Polymorphism
2 Citations (Scopus)

Proof-relevant parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Computer programming languages
Type Theory
Programming Languages
High-dimensional
Express
2015

Models for polymorphism over physical dimensions

Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Type Theory
Polymorphism
Relational Model
Fibration
Group Action
4 Citations (Scopus)

Parametric polymorphism - universally

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Polymorphism
Semantics
2013
2 Citations (Scopus)

Fibred data types

Ghani, N., Malatesta, L., Nordvall Forsberg, F. & Setzer, A., 2013, 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). New York: IEEE, p. 243-252 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Semantics
Set theory
Computer programming languages
Data structures

Positive inductive-recursive definitions

Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Algebra
5 Citations (Scopus)

Program extraction from nested definitions

Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

2011
6 Citations (Scopus)

A categorical semantics for inductive-inductive definitions

Altenkirch, T., Morris, P., Nordvall Forsberg, F. & Setzer, A., 19 Aug 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Berlin, p. 70-84 15 p. (Lecture Notes in Computer Science; vol. 6859).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Algebra
Semantics
2010
9 Citations (Scopus)

Inductive-inductive definitions

Nordvall Forsberg, F. & Setzer, A., 11 Aug 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Berlin, p. 454-468 15 p. (Lecture Notes in Computer Science; vol. 6247).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book