Follow
Victor Miraldo
Victor Miraldo
Tweag I/O
Verified email at tweag.io - Homepage
Title
Cited by
Cited by
Year
Type-directed diffing of structured data
VC Miraldo, PÉ Dagand, W Swierstra
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven …, 2017
162017
“Keep definition, change category”—A practical approach to state-based system calculi
JN Oliveira, VC Miraldo
Journal of Logical and Algebraic Methods in Programming 85 (4), 449-474, 2016
102016
Generic programming of all kinds
A Serrano, VC Miraldo
ACM SIGPLAN Notices 53 (7), 41-54, 2018
92018
Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming
VC Miraldo, A Serrano
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018
82018
An efficient algorithm for type-safe structural diffing
VC Miraldo, W Swierstra
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
52019
Authenticated modular maps in Haskell
VC Miraldo, H Carr, A Kogan, M Moir, M Herlihy
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018
52018
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda
H Carr, C Jenkins, M Moir, VC Miraldo, L Silva
NASA Formal Methods Symposium, 616-635, 2022
22022
Sums of Products for Mutually Recursive Datatypes
VC Miraldo, A Serrano
Proceedings of the 3nd ACM SIGPLAN Workshop on Type-Driven Development (TyDe …, 2018
22018
Structure-aware version control: A generic approach using Agda
V Miraldo, W Swierstra
Technical Report Series, 2017
22017
Experimenting with predicate abstraction
VC Miraldo
22014
Authenticated key-value stores supporting partial state
VC Miraldo, H Carr, MP Herlihy, A Kogan, MS Moir
US Patent 11,269,839, 2022
12022
Classes of arbitrary kind
A Serrano, VC Miraldo
International Symposium on Practical Aspects of Declarative Languages, 150-168, 2019
12019
Proofs by rewriting in Agda
VC Miraldo
Master’s thesis, Utrecht University and University of Minho, 2015. Submitted, 2015
12015
SPARK-BMC: checking SPARK code for bugs
C Lourenço, VC Miraldo, MJ Frade, JS Pinto
Universidade de Évora, 2013
12013
An approach to translating Haskell programs to Agda and reasoning about them
H Carr, C Jenkins, M Moir, VC Miraldo, L Silva
arXiv preprint arXiv:2205.08718, 2022
2022
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version
H Carr, C Jenkins, M Moir, VC Miraldo, L Silva
arXiv preprint arXiv:2203.14711, 2022
2022
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version
VC Miraldo, H Carr, M Moir, L Silva, GL Steele Jr
arXiv preprint arXiv:2103.04519, 2021
2021
Relational Equality in the Intensional Theory of Types
VC Miraldo
RAMiCS 2015, 15, 2015
2015
Interpretações do λcalculus em Redes de Interacção
VC Miraldo, JS Pinto
The system can't perform the operation now. Try again later.
Articles 1–19