Recent Posts
-
Polymorphism and Higher-order Function in Coqabstracting and reusing functions
-
Runtime Polymorphism in CPPPure Virtual Classes as Interfaces, Runtime Polymorphism by Composition
-
Reasoning Proofs with Basic Data StructuresPair, List, Map, Options
-
Induction, Sub-theorems and Informal Proof [Coq]Study Notes of software validation
-
Object Life Cycles [CPP]Principals of objects life cycle; good practice: exceptions, RAII, copy and move operations
-
Types and References [CPP]Data Type, Pointers, Addresses and Object initialization