Back to Results
First PageMeta Content
Computer programming / Adjoint functors / Pattern matching / Monad / Type theory / Continuation / Strong monad / Type class / Call-with-current-continuation / Software engineering / Declarative programming / Functional programming


Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan
Add to Reading List

Document Date: 2005-07-13 17:03:59


Open Document

File Size: 185,48 KB

Share Result on Facebook

City

Tallinn / /

Country

Estonia / /

Currency

USD / /

/

Facility

University Amr Sabry / Monad library / CC library / /

IndustryTerm

search strategies / straightforward depth-first search / distributivity law / heuristic search / printing / depth-first search / basic minimax search / logical programming systems / amb operator / simplest solution / incomplete and breadth-first search / less common solution / possible alternative solution / candidate solutions / search space / realistic programming applications / /

Organization

Harvard University / MIT / Indiana University / /

Person

Andrew Bromage / Shan Daniel / Oleg Kiselyov Chung-chieh / Amr Sabry / /

Position

other0 player / guard / game0 other0 player player / given player / player / Control primitives General / /

ProgrammingLanguage

Haskell / Prolog / /

URL

http /

SocialTag