JFP 2019 paper using Abella

Skip to first unread message

Dale Miller

Mar 10, 2020, 10:05:01 AM3/10/20
to abella-the...@googlegroups.com
I've just noticed a recent publication:

Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. "On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control." Journal of Functional Programming 29 (2019).

The authors used Abella to formalize several theorems in their paper.  Section 7 "Abella Experience Report" is interesting to read.

Best wishes, -Dale

Reply all
Reply to author
0 new messages