View Document Preview and Link Document Date: 2013-07-16 18:56:31 Open Document File Size: 446,50 KB Share Result on Facebook
City Boston / / Country United States / / Currency pence / USD / / / Event Product Issues / / Facility University Munich / McGill University / / IndustryTerm present solutions / bidirectional type-checking algorithm / stream processor / / NaturalFeature Fibonacci stream / / Organization School of Computer Science / Termination and Productivity Andreas Abel Brigitte Pientka Department of Computer Science / McGill University / Montreal / / Person Agda / Abel / Coq / Andreas Abel Brigitte Pientka / / Position fib .tail .tail .head / observations head / .tail .tail .head / .tailn .head / Lambda calculus General / zeros .head / .head / head / .tail .head / fib .head / / Product clause / zipWith / / ProgrammingLanguage Haskell / Lambda calculus / / Technology dom / Simulation / bidirectional type-checking algorithm / stream processor / / SocialTag 
Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka