SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Jansson Johan) srt2:(1995-1999);conttype:(scientificother)"

Search: WFRF:(Jansson Johan) > (1995-1999) > Other academic/artistic

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  • Jeuring, Johan, 1965, et al. (author)
  • Polytypic Programming
  • 1996
  • In: Advanced Functional Programming. ; , s. 68-114
  • Book chapter (other academic/artistic)abstract
    • Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user-defined datatypes. This paper introduces polytypic functions, and shows how to construct and reason about polytypic functions. A larger example is studied in detail: polytypic functions for term rewriting and for determining whether a collection of rewrite rules is normalising.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2
Type of publication
book chapter (2)
Type of content
other academic/artistic  (2)Undo refine
Author/Editor
Jansson, Patrik, 197 ... (2)
Jeuring, Johan, 1965 (2)
Backhouse, Roland (1)
Meertens, Lambert (1)
University
Chalmers University of Technology (2)
Language
English (2)
Research subject (UKÄ/SCB)
Natural sciences (2)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view