Back to Results
First PageMeta Content
Category theory / Recursion / Functional programming / Adjoint functors / Programming idioms / F-coalgebra / Anamorphism / Monad / Variety / Computer programming / Software engineering / Computing


Document Date: 2012-03-22 19:10:07

Open Document

File Size: 862,00 KB

Share Result on Facebook

City

Berlin / Bergen / Udine / Winchester / Edinburgh / /

Company

Real Time Systems / /

Country

Germany / Norway / Italy / United Kingdom / Wales / /

/

Facility

Technical University of Berlin / Watt University / University of Southampton / Widemann University of Bayreuth / /

IndustryTerm

redundant search / category theoretic solution / canonical greatest uninterpreted solution / recursive search problems / search problem / universal/existential search / positional number systems / /

Organization

London Mathematical Society / Technical University of Berlin / University of Southampton / Institut f¨ / Widemann University of Bayreuth / /

Person

Liang-Ting Chen / Monika Seisenberger Toby Wilkinson / John Power / Implementation / Toby Wilkinson / Baltasar Tranc / Achim Jung / Proc / Monika Seisenberger / Magne Haveraaen / Daniel Schwencke / Tetsuya Sato / /

Position

author / /

ProgrammingLanguage

Haskell / FP / C / /

ProvinceOrState

Swansea / /

Technology

Functional Programming / virtual machine / /

URL

http /

SocialTag