| Document Date: 2011-06-28 11:40:51 Open Document File Size: 266,88 KBShare Result on Facebook
City INRIA / / Company Research Software Limited. / The Computing Laboratory / / Country France / / / Event Reorganization / / Facility University of Kent / The University / David Turner The Computing Laboratory / / / IndustryTerm guardedness detection algorithm / Function applications / corecursive applications / / Organization University of Kent at Canterbury / UK Engineering and Physical Sciences Research Council / / Person Miranda etc / Alastair Telford / Erik Poll / Andy King / Simon Thompson / David Turner / Ai / Haskell / Eduardo Gimenez / / / Position head / King / / ProgrammingLanguage Haskell / ML / / PublishedMedium the Theoretical Computer Science / / Technology Functional Programming / guardedness detection algorithm / / URL http /
SocialTag |