Dependently Typed Attribute Grammars

DSpace/Manakin Repository

Middelkoop, A.; Dijkstra, A.; Swierstra, S.D.

(2011) IFL 2010

(Part of book)

Download/Full Text

Preprint

Keywords: International (English)

Publisher: Springer Verlag AG

Note: IFL

(Peer reviewed)

See more statistics about this item