SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

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

Sökning: WFRF:(Jansson Johan) > (1995-1999) > Bokkapitel

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Backhouse, Roland, et al. (författare)
  • Generic Programming: An Introduction
  • 1999
  • Ingår i: Advanced Functional Programming. ; 1608, s. 28--115-
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)
  •  
2.
  • Jeuring, Johan, 1965, et al. (författare)
  • Polytypic Programming
  • 1996
  • Ingår i: Advanced Functional Programming. ; , s. 68-114
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)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
  • Resultat 1-2 av 2
Typ av publikation
bokkapitel  (2)Ta bort avgränsningen
Typ av innehåll
övrigt vetenskapligt/konstnärligt (2)
Författare/redaktör
Jansson, Patrik, 197 ... (2)
Jeuring, Johan, 1965 (2)
Backhouse, Roland (1)
Meertens, Lambert (1)
Lärosäte
Chalmers tekniska högskola (2)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (2)

År

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 Stäng

Kopiera och spara länken för att återkomma till aktuell vy