• 2026-06-02 :: LiquidHaskell: Comparing approaches to plugging DataCon
• 2026-05-27 :: LiquidHaskell: Analyzing DataCon
• 2026-05-26 :: LiquidHaskell: Solving name resolution issue
• 2026-05-11 :: LiquidHaskell: Tracing Data
• 2026-05-08 :: LiquidHaskell: Resolution Pipeline
• 2026-05-06 :: LiquidHaskell: Plugin Overview
• 2026-05-05 :: LiquidHaskell: First approach
• 2026-05-05 :: LiquidHaskell: Prelude
• 2022-07-17 :: Estudiando Computación Cuántica: Espacios Vectoriales Complejos.
• 2021-09-12 :: Estudiando Computación Cuántica: Números Complejos.