Type theory as a framework for modelling and programming

Type theory as a framework for modelling and programming

In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be ra...

Полное описание

Библиографические подробности
Главные авторы:	Ionescu, C, Jansson, P, Botta, N
Формат:	Conference item
Опубликовано:	Springer Nature 2018

Схожие документы

The impact of uncertainty on optimal emission policies
по: N. Botta, и др.
Опубликовано: (2018-05-01)

Sequential decision problems, dependent types and generic solutions
по: Nicola Botta, и др.
Опубликовано: (2017-03-01)

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
по: Cezar Ionescu, и др.
Опубликовано: (2016-11-01)

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
по: Mu, S, и др.
Опубликовано: (2009)

Algebra of Programming using Dependent Types
по: Mu, S, и др.
Опубликовано: (2008)

Logic Programming & Type Theory /
по: Singleton, Velva, author 640075, и др.
Опубликовано: (2012)

Homogeneous Model Theory as a Framework for Algebraic Stability Theory
по: Weitkaemper, F
Опубликовано: (2019)

Perturbative moduli stabilisation in type IIB/F-theory framework
по: Ignatios Antoniadis, и др.
Опубликовано: (2018-09-01)

Linear Dependent Type Theory for Quantum Programming Languages
по: Peng Fu, и др.
Опубликовано: (2022-09-01)

Inductive Data Types Based on Fibrations Theory in Programming
по: Decheng Miao, и др.
Опубликовано: (2016-03-01)

The Yang-Mills fields — from the gauge theory to the mechanical model
по: Constantinescu Radu, и др.
Опубликовано: (2009-12-01)

Models, frameworks and theories in the implementation of programs targeted to reduce formal coercion in mental health settings: a systematic review
по: Tella Lantta, и др.
Опубликовано: (2023-06-01)

Causal theories of explanation and the challenge of explanatory disagreement
по: Jansson, Lina
Опубликовано: (2015)

A General Framework for Portfolio Theory—Part I: Theory and Various Models
по: Stanislaus Maier-Paape, и др.
Опубликовано: (2018-05-01)

Nonassociative Algebras: A Framework for Differential Geometry
по: Lucian M. Ionescu
Опубликовано: (2003-01-01)

Romanian Presidential Institution in the Present Constitutional Framework
по: Cristian Ionescu
Опубликовано: (2012-12-01)

From the Hamiltonian to the Lagrangean formalism for 1-reducible theories. The Freedman-Townsend model
по: Constantinescu Radu, и др.
Опубликовано: (2006-12-01)

Editorial: Surveys in Algorithm Analysis and Complexity Theory (Special Issue)
по: Jesper Jansson
Опубликовано: (2023-03-01)

Unified Theories of Programming
по: Hoare, C
Опубликовано: (2015)

Unifying theories of programming
по: He, J, и др.
Опубликовано: (1998)

Five-Dimensional Strange Quark Bianchi Type-I Cosmological Model in The Framework of Saez Ballester Theory of Gravity
по: Mahesh Netnaskar, и др.
Опубликовано: (2024-09-01)

Dialectica models of type theory
по: Moss, SK, и др.
Опубликовано: (2018)

A Theory of Mental Frameworks
по: Tracey Tokuhama-Espinosa, и др.
Опубликовано: (2023-07-01)

Theories and Frameworks for Online Education: Seeking an Integrated Model
по: Anthony G Picciano
Опубликовано: (2017-09-01)

Framework theories in science
по: Henderson, Leah
Опубликовано: (2011)

Topics in the theory of lifting /
по: 239606 Tulcea, A. Ionescu
Опубликовано: (1969)

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
по: Patrik Jansson, и др.
Опубликовано: (2019-06-01)

A framework for analyzing public reason theories
по: Billingham, P, и др.
Опубликовано: (2020)

Stochastic linear programming : models, theory, and computation /
по: 222973 Kall, Peter, и др.
Опубликовано: (2005)

Topics in mathematics : models, logic, number theory, graph theory, probability, statistics, computer programming /
по: 176961 Merkes, Edward P.
Опубликовано: (1975)

A Diachronic Agent-Based Framework to Model MaaS Programs
по: Maria Nadia Postorino, и др.
Опубликовано: (2024-11-01)

The gravitostat theory: More data needed
по: Claes Ohlsson, и др.
Опубликовано: (2020-10-01)

Stochastic programming framework for Lithuanian pension payout modelling
по: Audrius Kabašinskas, и др.
Опубликовано: (2014-12-01)

Human capital theory in the framework of organization theory
по: Nemeth Julianna
Опубликовано: (2017-01-01)

A framework for phase and interference in generalized probabilistic theories
по: Andrew J P Garner, и др.
Опубликовано: (2013-01-01)

Towards a Theory of Parallel Programming
по: Hoare, C
Опубликовано: (1972)

Programming entity framework /
по: 446681 Lerman, Julia
Опубликовано: (2009)

Linking Theories in Probabilistic Programming
по: He, J, и др.
Опубликовано: (1999)

Unifying Theories for Parallel Programming
по: Hoare, C, и др.
Опубликовано: (1997)

A unified framework for hybrid control : b background, model, and theory
Опубликовано: (2003)