Search results
From MaRDI portal
- Separation Logic for Higher-Order Store 2008-08-19 Paper Relational Parametricity and Separation Logic 2008-08-07 Paper Relational Reasoning for Recursive...10 bytes (17 words) - 03:23, 9 December 2023
- Paper The essence of Reynolds 2016-08-05 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (18 words) - 01:41, 10 December 2023
- de/entity/Q5271394 2017-07-11 Paper The Local Universes Model 2017-01-30 Paper Parametricity, automorphisms of the universe, and excluded middle 2017-01-19 Paper...10 bytes (18 words) - 19:38, 13 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
- Computation Programming Languages and Distributed Computation 2009-08-11 Paper Parametricity for Haskell with Imprecise Error Semantics 2009-07-07 Paper A family...10 bytes (16 words) - 10:58, 6 October 2023
- mardi4nfdi.de/entity/Q4282541 1994-04-17 Paper The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus 1994-03-03 Paper https://portal...10 bytes (18 words) - 17:17, 9 December 2023
- Categories of Possible Worlds 2016-05-10 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (16 words) - 16:31, 8 December 2023
- Manually Managed Memory, and Proofs 2022-11-09 Paper Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac}...10 bytes (16 words) - 19:42, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4364388 1998-03-15 Paper Parametricity and local variables 1998-01-28 Paper Semantical analysis of specification...10 bytes (18 words) - 21:23, 11 December 2023
- Paper Fast machine words in Isabelle/HOL 2018-10-04 Paper Relational parametricity and quotient preservation for modular (co)datatypes 2018-10-04 Paper...10 bytes (16 words) - 05:59, 13 December 2023
- Homotopy Type Theory 2021-01-21 Paper A General Framework for Relational Parametricity 2021-01-20 Paper Homotopy-Initial Algebras in Type Theory 2018-08-02...10 bytes (16 words) - 12:24, 7 October 2023
- Paper Adaptive Online First-Order Monitoring 2020-07-20 Paper Relational parametricity and quotient preservation for modular (co)datatypes 2018-10-04 Paper...10 bytes (17 words) - 17:54, 24 September 2023
- Elliptic Curves 2021-06-04 Paper A new notation for arrows 2015-03-09 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper...10 bytes (17 words) - 13:49, 24 September 2023
- Rotating solutions of the parametrically excited pendulum 2012-05-03 Paper ZONES OF CHAOTIC BEHAVIOUR IN THE PARAMETRICALLY EXCITED PENDULUM 2012-03-01...10 bytes (18 words) - 18:16, 8 December 2023
- object be? 2023-07-13 Paper Logical Relations as Types: Proof-Relevant Parametricity for Program Modules 2022-12-08 Paper https://portal.mardi4nfdi.de/entity/Q5094128...10 bytes (16 words) - 23:13, 27 December 2023
- Publication Type Using sparsification for parametric minimum spanning tree problems 2022-12-09 Paper Parametric problems on graphs of bounded tree-width...10 bytes (17 words) - 17:43, 9 December 2023
- Publication Date of Publication Type Parametricity of extensionally collapsed term models of polymorphism and their categorical properties 2022-08-16 Paper...10 bytes (16 words) - 11:03, 6 October 2023
- Type Using sparsification for parametric minimum spanning tree problems 2022-12-09 Paper Space-sweep algorithms for parametric optimization 2022-12-09 Paper...10 bytes (18 words) - 05:04, 9 December 2023
- solution mappings to parametric generalized strong vector equilibrium problems 2013-04-08 Paper A note on semicontinuity to a parametric generalized Ky Fan...10 bytes (17 words) - 15:17, 11 December 2023
- Parsing: A formalisation of Valiant's Algorithm in Agda 2016-07-06 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper...10 bytes (16 words) - 14:45, 24 September 2023
