LEADER 02128oam  2200577   450 
001 9910767560503321
005 20210806122651.0
010   $a3-540-48506-6
024 7 $a10.1007/10704973
035   $a(CKB)1000000000548772
035   $a(SSID)ssj0000320830
035   $a(PQKBManifestationID)11237994
035   $a(PQKBTitleCode)TC0000320830
035   $a(PQKBWorkID)10249721
035   $a(PQKB)11218766
035   $a(DE-He213)978-3-540-48506-3
035   $a(MiAaPQ)EBC3087528
035   $a(MiAaPQ)EBC6494909
035   $a(PPN)155235966
035   $a(EXLCZ)991000000000548772
100   $a20210806d1999      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aAdvanced functional programming $ethird international school, afp'98, braga, portugal, september 12-19, 1998, revised lectures /$fedited by S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira
205   $a1st ed. 1999.
210  1$aBerlin, Germany :$cSpringer,$d[1999]
210  4$d©1999
215   $a1 online resource (XIV, 298 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1608
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-66241-3 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aSorting Morphisms -- Generic Programming -- Generic Program Transformation -- Designing and Implementing Combinator Languages -- Using MetaML: A Staged Programming Language -- Cayenne ? A Language with Dependent Types -- Haskell as an Automation Controller.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1608
606   $aSoftware engineering
615  0$aSoftware engineering.
676   $a005.11
702   $aHenriques$b Pedro R.
702   $aSwierstra$b S. Doaitse
702   $aOliveira$b José N.
712 12$aAFP '98
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910767560503321
996   $aAdvanced Functional Programming$9772497
997   $aUNINA