Registered user since Mon 17 Apr 2017

Name: Alberto Momigliano

POPL 2017 Activities

• Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track in TTT 2017
• Show activities from other conferences