{"id":"1803.08150","title":"Generic Zero-Cost Reuse for Dependent Types","url":"https://codeofpaper.com/paper/1803.08150","arxiv_url":"https://arxiv.org/abs/1803.08150","published":"2018-03-21","code":"official","best":{"full_name":"larrytheliquid/generic-reuse","url":"https://github.com/larrytheliquid/generic-reuse","tier":"official","stars":6,"license":"MIT","framework":null,"language":"TeX","last_commit":"2018-10-05T17:31:12"},"most_starred_community":null,"implementations":[{"full_name":"larrytheliquid/generic-reuse","url":"https://github.com/larrytheliquid/generic-reuse","tier":"official","stars":6,"license":"MIT","framework":null,"language":"TeX","last_commit":"2018-10-05T17:31:12"}],"possible_matches":0}