WeixiMa/UNIF2018 WeixiMa/UNIF2018

  • Stars
    star
    1
  • Language
    TeX
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
WeixiMa/UNIF2018
github

WeixiMa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Paper for UNIF2018, http://unif2018.cic.unb.br/

More Repositories

1

C311Sp20

Racket
16
star
2

MK2020

Racket
5
star
3

nominal-unification

Agda proofs of nominal unification with de Bruijn numbers
Agda
4
star
4

alphaKanren-revisited

A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren
Racket
2
star