{"id":"1503.04522","title":"Really Natural Linear Indexed Type Checking","url":"https://codeofpaper.com/paper/1503.04522","arxiv_url":"https://arxiv.org/abs/1503.04522","published":"2015-03-16","code":"official","best":{"full_name":"ejgallego/dfuzz","url":"https://github.com/ejgallego/dfuzz","tier":"official","stars":33,"license":"BSD-3-Clause","framework":null,"language":"OCaml","last_commit":"2020-01-25T06:58:35"},"most_starred_community":null,"implementations":[{"full_name":"ejgallego/dfuzz","url":"https://github.com/ejgallego/dfuzz","tier":"official","stars":33,"license":"BSD-3-Clause","framework":null,"language":"OCaml","last_commit":"2020-01-25T06:58:35"}],"possible_matches":0}