Debugging with Types in ATS

Abstract

A short presentation on how refining types to be linear can help you catch memory leaks in programs and use memory more precisely.

Date
Event
Boston Haskell Meetup
Location
Boston, MA
Links