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 / /