Discussions

• 1 You must be logged in to vote

  💬

  Is Sized Typing for Coq Practical? (JFP)

  ionathanch started Nov 9, 2021 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  The performance of sized typing

  ionathanch started Aug 13, 2021 in General

  

  

  41