Parametricity Features and their Requirements
Logic in Computer Science
2021-11-19 v1
Authors:
Andreas Nuyts
Abstract
In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.
Cite
@article{arxiv.2111.09822,
title = {Parametricity Features and their Requirements},
author = {Andreas Nuyts},
journal= {arXiv preprint arXiv:2111.09822},
year = {2021}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Parametricity via Cohesion
C. B. Aberlé
2024-12-18
Software Engineering · Computer Science
Refinement-Based Specification: Requirements and Architecture
Maria Spichkova
2014-04-30
Adaptation and Self-Organizing Systems · Physics
Measuring complexity
Karoline Wiesner, James Ladyman
2020-09-22
Computational Complexity · Computer Science
Parameter Compilation
Hubie Chen
2015-03-03
Chaotic Dynamics · Physics
A Statistical Measure of Complexity
Ricardo Lopez-Ruiz, Hector Mancini, Xavier Calbet
2009-11-07
Dynamical Systems · Mathematics
Parametrized complexity of relations between multidimensional subshifts
Nicanor Carrasco-Vargas, Benjamin Hellouin de Menibus, Rémi Pallen
2026-02-16
Logic in Computer Science · Computer Science
Logics and Algorithms for Hyperproperties
Bernd Finkbeiner
2025-01-15
Adaptation and Self-Organizing Systems · Physics
A Statistical Measure of Complexity
Ricardo Lopez-Ruiz, Hector Mancini, Xavier Calbet
2010-09-09
Logic in Computer Science · Computer Science
Internal parametricity, without an interval
Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
2023-11-17
Quantum Physics · Physics
Compatibility in Multiparameter Quantum Metrology
Sammy Ragy, Marcin Jarzyna, Rafal Demkowicz-Dobrzanski
2019-02-01
Logic in Computer Science · Computer Science
Process Symmetry in Probabilistic Transducers
Shaull Almagor
2020-07-24
Programming Languages · Computer Science
Parametric Subtyping for Structural Parametric Polymorphism
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
2023-10-30
Formal Languages and Automata Theory · Computer Science
Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures
Patrizia Schalk, Adam Burke, Robert Lorenz
2024-08-23
Logic in Computer Science · Computer Science
On the Verification of Parametric Systems
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
2023-10-30
Optics · Physics
How complicated must an optical component be?
David A. B. Miller
2015-06-11
Data Structures and Algorithms · Computer Science
A Survey on Approximation in Parameterized Complexity: Hardness and Algorithms
Andreas Emil Feldmann, Karthik C. S., Euiwoong Lee, Pasin Manurangsi
2020-06-09
Artificial Intelligence · Computer Science
Parameterized Complexity Results in Symmetry Breaking
Toby Walsh
2015-05-19
Logic in Computer Science · Computer Science
An Epistemic Perspective on Consistency of Concurrent Computations
Klaus v. Gleissenthall, Andrey Rybalchenko
2013-05-13
Computer Vision and Pattern Recognition · Computer Science
Geometrical Complexity of Classification Problems
Tin Kam Ho
2007-05-23
Computational Engineering, Finance, and Science · Computer Science
System Theoretic Viewpoint on Modeling of Complex Systems: Design, Synthesis, Simulation, and Control
Armen Bagdasaryan
2008-12-25
Logic in Computer Science · Computer Science
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2013-08-14
Algebraic Topology · Mathematics
Large random simplicial complexes, I
A. Costa, M. Farber
2015-03-24
Artificial Intelligence · Computer Science
The Parameterized Complexity of Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan +1
2009-03-04
Pattern Formation and Solitons · Physics
Computationally Tractable Pairwise Complexity Profile
Yavni Bar-Yam, Dion Harmon, Yaneer Bar-Yam
2013-06-03
Artificial Intelligence · Computer Science
Review of Parameter Tuning Methods for Nature-Inspired Algorithms
Geethu Joy, Christian Huyck, Xin-She Yang
2023-08-31