Efficient Monadic−style Backtracking

Նմանատիպ նյութեր

• Deriving backtracking monad transformers
  ‌: Hinze, R
  Հրապարակվել է: (2000)
• Monad Transformers for Backtracking Search
  ‌: Jules Hedges
  Հրապարակվել է: (2014-06-01)
• Eilenberg–Moore Monoids and Backtracking Monad Transformers
  ‌: Maciej Piróg
  Հրապարակվել է: (2016-04-01)
• Deriving monad transformers
  ‌: Hinze, R
  Հրապարակվել է: (1999)
• Just do it: simple monadic equational reasoning
  ‌: Gibbons, J, և այլն
  Հրապարակվել է: (2011)