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

Research Output 2008 2019

Filter
Conference contribution book
2018
7 Citations (Scopus)

Compositional game theory

Ghani, N., Hedges, J., Winschel, V. & Zahn, P., 12 Jul 2018, Proceedings of the Symposium on Logic in Computer Science (LICS) 2018. New York, 10 p.

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

Open Access
File
Game theory
Economics
Computer science
Byproducts
Visualization
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
2014
10 Citations (Scopus)

A relationally parametric model of dependent type theory

Atkey, R., Ghani, N. & Johann, P., 24 Jan 2014, POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages. New York, NY., p. 503-515 13 p.

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

Open Access
File
Algebra
Invariance
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
9 Citations (Scopus)

Small induction recursion

Hancock, P., McBride, C., Ghani, N., Malatesta, L. & Altenkirch, T., 6 Jun 2013, Typed Lambda Calculus and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Hasegawa, M. (ed.). Berlin: Springer, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 7941).

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

Containers
Polynomials
2012
10 Citations (Scopus)

Fibrational induction meets effects

Atkey, R., Ghani, N., Jacobs, B. & Johann, P., 2012, Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2011. Birkedal, L. (ed.). Springer, Vol. 7213. p. 42-57 16 p. (Lecture Notes in Computer Science; vol. 7213).

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

Open Access
File
Syntactics
Semantics
Polynomials
2011
9 Citations (Scopus)

Indexed induction and coinduction, fibrationally.

Ghani, N., Johann, P. & Fumex, C., 2011, Algebra and coalgebra in computer science : Proceedings of the 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Corradini, A., Klin, B. & Cirstea, C. (eds.). Springer, p. 176-191 15 p. (Lecture Notes in Computer Science; vol. 6859 ).

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

File
Coinduction
Proof by induction
Fibration
Equality
Quotient
8 Citations (Scopus)

When is a type refinement an inductive type

Atkey, R., Johann, P. & Ghani, N., 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011. Hofmann, M. (ed.). Springer, p. 72-87 16 p. (Lecture Notes in Computer Science ; vol. 6604).

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

Computer programming languages
2010
12 Citations (Scopus)

Fibrational induction rules for initial algebras

Ghani, N., Johann, P. & Fumex, C., 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.). Springer, Vol. 6247. p. 336-350 15 p. (Lecture Notes In Computer Science; vol. 6247).

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

File
Algebra
Polynomials
Syntactics
Data structures
Semantics
2008
18 Citations (Scopus)

Foundations for structured programming with GADTs

Johann, P. & Ghani, N., 2008, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008. p. 297-308 12 p.

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

File
Structured programming
Algebra
Semantics
Functional programming
Syntactics