Vulnerability Modelling With Functional Programming and Dependent Types

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129514000139
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Secure Distributed Programming With Value-Dependent Types

ACM SIGPLAN Notices
Computer Science
2011English

Functional Programming

English

Modelling Vulnerability to Severe Weather

2017English

Modelling Gene and Protein Regulatory Networks With Answer Set Programming

International Journal of Data Mining and Bioinformatics
Information SystemsGeneticsMolecular BiologyInformation SciencesBiochemistryLibrary
2011English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Descriptor-Free Representation of Arrays With Dependent Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types

Proceedings of the ACM on Programming Languages
2019English

Verifying Message-Passing Programs With Dependent Behavioural Types

2019English

Modelling Session Types Using Contracts

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy