nikivazou/presentation-hopa13

Stars
1
Language
Haskell
Created over 11 years ago
Updated over 11 years ago

nikivazou/presentation-hopa13

nikivazou

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Tutorial: Type-Based Analysis of Higher-Order Programs

presentations

Presentations on Liquid Haskell, type theory, and more

theorem-proving-template

Template repo for theorem proving in Liquid Haskell

EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

thesis

Liquid Haskell: How to turn Haskell into a Theorem Prover

verified_string_matching

Verified Parallelized Version of String Mathcing

liquid-meta

liquidhaskell-course

Course on Liquid Haskell

fopss2023

haskell-course

OOPSLA18-artifact

Artifact for Gradual Liquid Types

Data.Equations

Equation Manipulation on Haskell

RTick

Reasoning about resource usage in Liquid Haskell

club_de_science

prover

Automatic Prover for Logical Predicates

CMSC498V

Advances Functional Programming Languages

propositional-equality

Propositional Equality in Liquid Haskell

tic-tac-toe

Yet another tic-tac-toe game, implemented in Haskell.

cse105Fa14

Haskell session of cse105

thesis_proposal

LiquidHOL

Proving Various HOL properties using Liquid Haskell