Hypothesis

1 Matching Annotations

Sep 2023
goto.ucsd.edu goto.ucsd.edu

A Gentle Introduction to Liquid Types

1
1. kael 04 Sep 2023
  
  in Public
  
  programming haskell typing wikipedia:en=Type_system wikipedia:en=Dependent_type
Visit annotations in context

Tags

typing

wikipedia:en=Type_system

haskell

programming

wikipedia:en=Dependent_type

Annotators

kael

URL

goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/liquid-types/