Parametricity and Proving Free Theorems for Functional-Logic Languages (Q130869981)

From Wikidata
Jump to navigation Jump to search
scientific article published on 06 July 2015
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    Parametricity and Proving Free Theorems for Functional-Logic Languages
    scientific article published on 06 July 2015

      Statements

      Identifiers

       
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit
                      edit