Paco also supports upto techniques using "companion". See: Damien Pous. Coinduction All the Way Up. LICS 2016. Minki Cho refactored the implementation to speed up the compilation time. The current ...

View all of our Artemis Live video interviews and subscribe to our podcast. All of our Artemis Live insurance-linked securities (ILS), catastrophe bonds and reinsurance video content and video ...