Search results
From MaRDI portal
- Publication Date of Publication Type Linear dependent types for differential privacy 2014-11-27 Paper...10 bytes (16 words) - 05:33, 7 October 2023
- Publication Date of Publication Type Linear dependent types for differential privacy 2014-11-27 Paper...10 bytes (16 words) - 05:33, 7 October 2023
- Coeffect Calculus 2014-04-16 Paper Soft Linear Logic and Polynomial Complexity Classes 2013-12-13 Paper Linear Dependent Types and Relative Completeness 2013-01-07...10 bytes (16 words) - 08:51, 7 October 2023
- Publication Type Continuation Models for the Lambda Calculus With Constructors 2016-07-08 Paper The geometry of types 2014-11-27 Paper Linear dependent types...10 bytes (16 words) - 09:04, 25 September 2023
- 2015-03-16 Paper Distance makes the types grow stronger 2015-03-05 Paper Matching lenses 2015-03-05 Paper Linear dependent types for differential privacy 2014-11-27...10 bytes (19 words) - 03:56, 13 December 2023
- 2015-06-26 Paper System FC with explicit kind equality 2015-03-30 Paper Linear dependent types for differential privacy 2014-11-27 Paper Differential privacy for...10 bytes (16 words) - 17:20, 24 September 2023
- de/entity/Q5278425 2017-07-19 Paper Integrating Linear and Dependent Types 2016-09-29 Paper...10 bytes (16 words) - 01:44, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q2958537 2017-02-02 Paper Integrating Linear and Dependent Types 2016-09-29 Paper Higher-order functional reactive programming...10 bytes (18 words) - 12:24, 7 October 2023
- higher-order probabilistic functional programs 2014-04-10 Paper Linear dependent types in a call-by-value scenario 2014-03-25 Paper Complexity Analysis...10 bytes (19 words) - 10:43, 6 October 2023
- Correctness of compiling polymorphism to dynamic typing 2017-10-23 Paper Integrating Linear and Dependent Types 2016-09-29 Paper Interlanguage working without...10 bytes (16 words) - 09:36, 25 September 2023
- programming in dependently typed proto-quipper 2021-07-05 Paper https://portal.mardi4nfdi.de/entity/Q5854731 2021-03-17 Paper Linear Dependent Type Theory for...10 bytes (16 words) - 10:04, 7 October 2023
- programming in dependently typed proto-quipper 2021-07-05 Paper Completely positive projections and biproducts 2021-06-29 Paper Linear Dependent Type Theory for...10 bytes (17 words) - 21:13, 24 September 2023
- Denotational semantics for guarded dependent type theory 2020-12-08 Paper Modal dependent type theory and dependent right adjoints 2020-03-11 Paper Denotational...10 bytes (18 words) - 05:06, 13 December 2023
- Bienaymé-Galton-Watson Branching Processes 2015-07-15 Paper Linear-fractional branching processes with countably many types 2014-04-28 Paper Evolution of branching processes...10 bytes (17 words) - 23:38, 10 December 2023
- periodic solutions in a linear higher order system of difference equations 2016-09-27 Paper Existence of positive solutions of linear delay difference equations...10 bytes (17 words) - 12:23, 28 January 2024
- mardi4nfdi.de/entity/Q4558271 2018-11-21 Paper Dependent event types 2017-12-20 Paper https://portal.mardi4nfdi.de/entity/Q5277981 2017-07-12 Paper On...10 bytes (18 words) - 17:17, 9 December 2023
- 2021-10-08 Paper Multimodal Dependent Type Theory 2021-01-21 Paper ReLoC 2021-01-20 Paper Modal dependent type theory and dependent right adjoints 2020-03-11...10 bytes (17 words) - 03:23, 9 December 2023
- model adjusted for linear regression using residual ranks 2020-10-07 Paper Flexible parametric model for survival data subject to dependent censoring 2020-09-16...10 bytes (19 words) - 02:19, 9 December 2023
- Paper Robust linear parameter-varying control of blood pressure using vasoactive drugs 2016-04-08 Paper Sampled-data filtering for linear parameter varying...10 bytes (18 words) - 16:30, 6 December 2023
- 2013-04-05 Paper Evolution of non-spreading Airy wavepackets in time dependent linear potentials 2011-06-28 Paper https://portal.mardi4nfdi.de/entity/Q3577430...10 bytes (18 words) - 02:19, 11 December 2023
