Back to Results
First PageMeta Content
Functional languages / Type theory / Data types / Lambda calculus / Logic in computer science / Type system / ML / OCaml / Partial evaluation / Software engineering / Programming language theory / Computing


BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation
Add to Reading List

Document Date: 2002-01-08 09:02:48

Open Document

File Size: 519,80 KB

Share Result on Facebook

City

Pasadena / /

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Computer Science University of Aarhus Denmark July / /

Organization

Faculty of Science / University of Aarhus / BRICS Department / BRICS Ph.D. School / Department of Computer Science / Dissertation BRICS BRICS Ph.D. School Department / Computer Science University / eta / Computer Science University of Aarhus Ny Munkegade / /

Person

Daniel Damian / Zhe Yang / Jason Hickey / Lasse R. Nielsen / Bernd Grobauer / Margrethe / Olivier Danvy / Alexey Nogin / John Reynolds / Julia Lawall / Peter Sestoft / Mogens Nielsen / Helmut Schwichtenberg / /

/

Position

Supervisor / Aarhus Denmark Author / interpreter / /

ProgrammingLanguage

Haskell / Standard ML / C / ML / /

URL

ftp /

SocialTag