JFP 2019 paper using Abella
22 views
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
Forward
0 new messages