Stem hlio$ (all stems)
1 papers:
ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system- HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system