Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by CEZAR IONESCU
Vulnerability Modelling With Functional Programming and Dependent Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Secure Distributed Programming With Value-Dependent Types
ACM SIGPLAN Notices
Computer Science
Functional Programming
Modelling Vulnerability to Severe Weather
Modelling Gene and Protein Regulatory Networks With Answer Set Programming
International Journal of Data Mining and Bioinformatics
Information Systems
Genetics
Molecular Biology
Information Sciences
Biochemistry
Library
A Classical Sequent Calculus With Dependent Types
ACM Transactions on Programming Languages and Systems
Software
Descriptor-Free Representation of Arrays With Dependent Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types
Proceedings of the ACM on Programming Languages
Verifying Message-Passing Programs With Dependent Behavioural Types
Modelling Session Types Using Contracts
