Search results
From MaRDI portal
- Paper https://portal.mardi4nfdi.de/entity/Q5028445 2022-02-09 Paper Parametricity for primitive nested types 2021-10-18 Paper Complete internal categories...10 bytes (16 words) - 08:58, 25 September 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- algorithm for robust explicit/multi-parametric model predictive control 2013-03-06 Paper Explicit/multi-parametric model predictive control (MPC) of linear...10 bytes (18 words) - 14:39, 12 December 2023
- 2020-02-18 Paper Parametric and internal resonance of a transporting plate with a varying tension 2020-02-18 Paper Internal resonance in parametric vibrations...10 bytes (17 words) - 01:54, 11 December 2023
- mixed models 2018-08-02 Paper Parametric bootstrap inferences for unbalanced panel data models 2018-02-12 Paper Parametric bootstrap inferences for panel...10 bytes (17 words) - 01:50, 12 December 2023
- in a parametrically and self-excited system with two degrees of freedom 2000-11-30 Paper VIBRATION ANALYSIS OF A SELF-EXCITED SYSTEM WITH PARAMETRIC FORCING...10 bytes (16 words) - 02:08, 12 December 2023
- 2023-06-21 Paper Parametric design of functional interval observer for time-delay systems with additive disturbances 2023-05-11 Paper Parametric control to a...10 bytes (17 words) - 19:43, 13 December 2023
- for regularity of interval parametric matrices 2021-06-27 Paper Proving endpoint dependence in solving interval parametric linear systems 2021-02-08 Paper...10 bytes (18 words) - 19:13, 8 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
- 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
- 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