Back to Results
First PageMeta Content
Higher-order functions / Recursion / Fold / Functional languages / Map / Functions and mappings / Lambda calculus / Agda / Function / Software engineering / Computing / Declarative programming


ZU064-05-FPR aopa
Add to Reading List

Document Date: 2009-01-30 14:43:06

Open Document

File Size: 307,62 KB

Share Result on Facebook

City

Academia Sinica / /

Facility

University of Gothenburg / Engineering Chalmers University of Technology / Standard Library / Information Engineering National Taiwan University / Relational Program Derivation SHIN-CHENG MU Institute of Information Science / Standard Library of Agda / /

IndustryTerm

dynamic programming algorithm / possible solutions / type systems / formal machinery / greedy algorithm / /

Organization

University of Gothenburg / Taiwan HSIANG-SHANG KO Department of Computer Science / Chalmers University of Technology / National Taiwan University / Relational Program Derivation SHIN-CHENG MU Institute of Information Science / Taiwan PATRIK JANSSON Department of Computer Science / /

Position

interpreter / programmer / /

ProgrammingLanguage

R / /

Technology

greedy algorithm / Functional Programming / dynamic programming algorithm / sorting algorithm / /

SocialTag