Back to search results

Person

Prof. L.G.L.Th. Meertens

Pagina-navigatie:

Update Persondata

Export page

QR code

Expertise	Calculi for software construction
Expertise (NL)	Calculi voor software constructie
Digital Author ID	info:eu-repo/dai/nl/072660317

Active as

Professor emeritus
Organisation	Department of Information and Computing Sciences (UU)
Chair (EN)	Calculi for software construction
Chair (NL)	Calculi voor software constructie
Phone	+31-30-2533175
Email	lambert -at- cs. uu. nl

Publications

(the most recent at the top)
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?

Completed research projects

(the most recent research is at the top)
Supervisor	Proxima - A presentation-oriented editor for structured documents

Classification

D16000	Computer science

Go to page top
Go back to contents
Go back to site navigation