KNAW
Narcis
Terug naar zoekresultaat
Persoon
Prof. L.G.L.Th. Meertens
Pagina-navigatie:
Overzicht
Afgesloten onderzoek (1)
Publicaties (5)
Wijzig persoonsdata
Exporteer deze pagina
QR code
calculi
constructie
software
voor
Expertise
Calculi voor software constructie
Expertise (EN)
Calculi for software construction
Digital Author ID
info:eu-repo/dai/nl/072660317
Werkzaam als
Emeritus
Organisatie
Departement Informatica (UU)
Leeropdracht (NL)
Calculi voor software constructie
Leeropdracht (EN)
Calculi for software construction
Telefoon
+31-30-2533175
Email
lambert -at- cs. uu. nl
Publicaties
(de meest recente is bovenaan geplaatst)
Generic Programming - An Introduction -
A translation from attribute grammars to catamorphisms
Paramorphisms
Constructing a calculus of programs
Recursive assertions are not enough - or are they?
Afgesloten onderzoeksactiviteiten
(de meest recente activiteit is bovenaan geplaatst)
Promotor
Presentatiegericht editen van gestructureerde documenten en XML
Classificatie
D16000
Informatica
Website Navigatie:
Home
over narcis
English
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie
