Search results
From MaRDI portal
- interpretations of predicate logic 2022-04-29 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (18 words) - 15:42, 10 December 2023
- Types 2009-11-12 Paper From parametric polymorphism to models of polymorphic FPC 2009-08-26 Paper Relational Parametricity for Computational Effects 2009-08-20...10 bytes (18 words) - 05:06, 13 December 2023
- bifibrational parametricity 2019-05-27 Paper Bifibrational functorial semantics of parametric polymorphism 2016-12-16 Paper Proof-Relevant Parametricity 2016-08-17...10 bytes (16 words) - 10:27, 6 October 2023
- processes 2016-05-13 Paper Canonicity of weak \(\omega\)-groupoid laws using parametricity theory 2016-05-13 Paper https://portal.mardi4nfdi.de/entity/Q4649560...10 bytes (16 words) - 00:44, 25 September 2023
- 2015-03-30 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper Realizability and Parametricity in Pure Type Systems...10 bytes (18 words) - 00:14, 25 September 2023
- 2016-10-24 Paper Decentralizing SDN Policies 2016-09-29 Paper On Monadic Parametricity of Second-Order Functionals 2013-03-18 Paper Verifying a Local Generic...10 bytes (16 words) - 19:18, 13 December 2023
- 2015-03-05 Paper Recursive type generativity 2015-01-06 Paper Non-parametric parametricity 2015-01-06 Paper The power of parameterization in coinductive proof...10 bytes (18 words) - 12:11, 13 December 2023
- Non-parametric parametricity 2015-01-06 Paper Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions 2014-05-13 Paper Non-parametric parametricity...10 bytes (17 words) - 15:43, 6 October 2023
- Paper Non-parametric parametricity 2015-01-06 Paper The power of parameterization in coinductive proof 2014-11-27 Paper Non-parametric parametricity 2013-04-24...10 bytes (16 words) - 05:33, 7 October 2023
- Publication Date of Publication Type Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac} 2018-10-04 Paper...10 bytes (16 words) - 19:42, 24 September 2023
- Publication Date of Publication Type Parametricity for primitive nested types 2021-10-18 Paper...10 bytes (16 words) - 08:58, 25 September 2023
- functorial semantics of parametric polymorphism 2016-12-16 Paper Proof-Relevant Parametricity 2016-08-17 Paper Comprehensive Parametric Polymorphism: Categorical...10 bytes (18 words) - 20:33, 6 October 2023
- de/entity/Q5028445 2022-02-09 Paper Parametricity for primitive nested types 2021-10-18 Paper A General Framework for Relational Parametricity 2021-01-20 Paper Deep...10 bytes (16 words) - 09:42, 6 October 2023
- Publication Type A Computational Interpretation of Parametricity 2017-05-16 Paper A presheaf model of parametric type theory 2016-12-16 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 15:30, 6 October 2023
- Publication Date of Publication Type Translating dependency into parametricity 2015-03-09 Paper https://portal.mardi4nfdi.de/entity/Q5447364 2008-03-06...10 bytes (16 words) - 21:49, 26 December 2023
- Towards infinite tilings with symmetric boundaries 2019-11-20 Paper Parametricity for Haskell with Imprecise Error Semantics 2009-07-07 Paper...10 bytes (16 words) - 10:24, 25 September 2023
- subtyping as entailment 2000-10-03 Paper The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus 1994-03-03 Paper...10 bytes (16 words) - 14:54, 24 September 2023
- Arrows? 2014-06-27 Paper From parametricity to conservation laws, via Noether's theorem 2014-04-10 Paper A relationally parametric model of dependent type theory...10 bytes (16 words) - 13:22, 7 October 2023
- 2017-05-19 Paper Comprehensive Parametric Polymorphism: Categorical Models and Type Theory 2016-06-10 Paper Relational Parametricity for Control Considered as...10 bytes (18 words) - 17:19, 11 December 2023
- Paper Semi-parametric estimation of incubation and generation times by means of Laguerre polynomials 2022-09-23 Paper A New Test for the Parametric Form of...10 bytes (19 words) - 02:19, 9 December 2023
