Stream: Beginner Questions

Topic: Order-sorted algebra

view this post on Zulip Hongjian Jiang (Jun 29 2023 at 07:13):

From the paper "Haskell-style type classes with Isabelle/Isar", type classes not only allow for simple overloading but form a generic calculus, an instance of order-sorted algebra

I wonder whether there exists some theory about the OSA.

Thanks a lot

Last updated: Apr 28 2024 at 08:19 UTC