Relating System F and λ2: A Case Study in Coq, Abella and Beluga
Main Authors: | , , |
---|---|
Format: | Article in Journal/Newspaper |
Language: | unknown |
Published: |
2017
|
Subjects: | |
Online Access: | https://escholarship.mcgill.ca/concern/articles/5138jj40p |
Description not available. |