Higher-order Unification with Dependent Function Types

From BibNetWiki

Jump to: navigation, search

Conal Elliott

Conal Elliott - Higher-order Unification with Dependent Function Types

pp. 121--136

Author : Conal Elliott
Title : Higher-order Unification with Dependent Function Types
Publication Type : -
Address :
Date :

List of Papers citing this one.

List of Papers cited by this one.

Retrieved from "http://bibnetwiki.org/wiki/Higher-order_Unification_with_Dependent_Function_Types"

Categories: Conal Elliott Paper | Paper | Paper Year 1989 | LNCS 34

Views

Personal tools

Log in / create account

Search

Toolbox