Search results
From MaRDI portal
- Publication Date of Publication Type The Marriage of Univalence and Parametricity 2022-12-08 Paper https://portal.mardi4nfdi.de/entity/Q4993361 2021-06-15...10 bytes (16 words) - 19:42, 24 September 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
- Paper https://portal.mardi4nfdi.de/entity/Q4536296 2002-11-28 Paper Parametricity and variants of Girard's \(J\) operator 2002-07-25 Paper Finite-state...10 bytes (18 words) - 01:56, 10 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2980980 2017-05-08 Paper Parametricity, automorphisms of the universe, and excluded middle 2017-01-19 Paper...10 bytes (18 words) - 17:35, 7 December 2023
- Paper Bifibrational functorial semantics of parametric polymorphism 2016-12-16 Paper Proof-Relevant Parametricity 2016-08-17 Paper Containers, monads and induction...10 bytes (16 words) - 20:33, 6 October 2023
- de/entity/Q5874199 2023-02-07 Paper Logical Relations as Types: Proof-Relevant Parametricity for Program Modules 2022-12-08 Paper Logic representation in LF 2022-08-16...10 bytes (17 words) - 20:33, 6 October 2023
- programs 2012-10-29 Paper Stop When You Are Almost-Full 2012-09-20 Paper Parametricity, type equality, and higher-order polymorphism 2010-05-26 Paper Practical...10 bytes (16 words) - 03:05, 25 September 2023
- Type Gradual System F 2023-04-27 Paper The Marriage of Univalence and Parametricity 2022-12-08 Paper Trace-Relating Compiler Correctness and Secure Compilation...10 bytes (16 words) - 12:21, 7 October 2023
- session-based concurrency 2014-11-28 Paper Behavioral Polymorphism and Parametricity in Session-Based Communication 2013-08-05 Paper Higher-Order Processes...10 bytes (16 words) - 10:33, 6 October 2023
- estimates of solutions to parametric primal and dual vector quasi-equilibria 2014-05-16 Paper Semicontinuity results on parametric vector variational inequalities...10 bytes (17 words) - 22:02, 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
- 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
- Parameters for Parametric Timed Reachability Games 2014-07-08 Paper Parametric Interrupt Timed Automata 2014-07-07 Paper Symbolic unfolding of parametric stopwatch...10 bytes (16 words) - 16:25, 11 December 2023
- solution mappings for parametric generalized weak vector equilibrium problems 2019-04-24 Paper Hölder continuity of a parametric generalized variational...10 bytes (17 words) - 23:57, 9 December 2023
- Separation Logic for Higher-Order Store 2008-08-19 Paper Relational Parametricity and Separation Logic 2008-08-07 Paper Scalable Shape Analysis for Systems...10 bytes (16 words) - 07:27, 7 October 2023
- applications to distributed stencil algorithms 2019-02-18 Paper Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac}...10 bytes (18 words) - 18:54, 24 September 2023
- transformations 2015-09-11 Paper AURA 2015-03-16 Paper Translating dependency into parametricity 2015-03-09 Paper Lolliproc 2015-03-05 Paper Finite Vector Spaces as Model...10 bytes (16 words) - 05:34, 7 October 2023