:
Log in
Sign up
1
Matching Annotations
Sep 2023
goto.ucsd.edu
goto.ucsd.edu
A Gentle Introduction to Liquid Types
1
kael
04 Sep 2023
in
Public
programming
haskell
typing
wikipedia:en=Type_system
wikipedia:en=Dependent_type
Visit annotations in context
Tags
wikipedia:en=Type_system
wikipedia:en=Dependent_type
programming
haskell
typing
Annotators
kael
URL
goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/liquid-types/
Collapse view
Share:
Group.
Only group members will be able to view this annotation.
Only me.
No one else will be able to view this annotation.