diff options
Diffstat (limited to 'bootstrap/Monads.v')
| -rw-r--r-- | bootstrap/Monads.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bootstrap/Monads.v b/bootstrap/Monads.v index bff4e5e5f..f3f2eb653 100644 --- a/bootstrap/Monads.v +++ b/bootstrap/Monads.v @@ -412,9 +412,9 @@ Module Logic. "search" implementations (including Tac interactive prover's tactics). Yet it's quite hard to wrap your head around these. I recommand reading a few times the "Backtracking, Interleaving, and - Terminating Monad Transformers" paper by O. Kiselyov, C. Chen, - D. Fridman. The peculiar shape of the monadic type is reminiscent - of that of the continuation monad transformer. + Terminating Monad Transformers" paper by O. Kiselyov, C. Shan, + D. Friedman, and A. Sabry. The peculiar shape of the monadic type + is reminiscent of that of the continuation monad transformer. The paper also contains the rational for the [split] abstraction. |