Author
Robert Krook
University of Gothenburg
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Workshop on Type-Driven Development
Berlin, Germany,
Berlin, Germany,
Subject Categories
Algebra and Logic
Computer Science
Areas of Advance
Information and Communication Technology
Roots
Basic sciences