Extensions and Applications of Higher-order Unification
(1990) : Elliott, Conal M.
url: http://www.cs.cmu.edu/~fp/elf-papers/elliott90.ps.gz
#unification #higher_ordered_logic #logical_framework #program_transformation #language_encoding #my_bibtex

Extensions and Applications of Higher-order Unification
(1990) : Elliott, Conal M.
url: http://www.cs.cmu.edu/~fp/elf-papers/elliott90.ps.gz
#language_encoding #higher_ordered_logic #unification #program_transformation #logical_framework #my_bibtex

Extensions and Applications of Higher-order Unification
(1990) : Elliott, Conal M.
url: http://www.cs.cmu.edu/~fp/elf-papers/elliott90.ps.gz
#logical_framework #unification #language_encoding #higher_ordered_logic #program_transformation #my_bibtex

Extensions and Applications of Higher-order Unification
(1990) : Elliott, Conal M.
url: http://www.cs.cmu.edu/~fp/elf-papers/elliott90.ps.gz
#language_encoding #unification #program_transformation #higher_ordered_logic #logical_framework #my_bibtex

Extensions and Applications of Higher-order Unification
(1990) : Elliott, Conal M.
url: http://www.cs.cmu.edu/~fp/elf-papers/elliott90.ps.gz
#higher_ordered_logic #language_encoding #logical_framework #program_transformation #unification
#my_bibtex

Scoped Dynamic Rewrite Rules
(2001) : Eelco Visser
DOI: https://doi.org/10.1016/s1571-0661(04)00298-1
#program_transformation #rewrite_rules #scoping
#my_bibtex