Generic Record Combinators with Static Type Checking Wolfgang Jeltsch † Brandenburgische Technische Universit¨at Cottbus Lehrstuhl Programmiersprachen und Compilerbau Postfach, 03013 Cottbus, Germany jeltsch@

First Page		Document Content
Date: 2012-04-24 14:51:04		Generic Record Combinators with Static Type Checking Wolfgang Jeltsch † Brandenburgische Technische Universit¨at Cottbus Lehrstuhl Programmiersprachen und Compilerbau Postfach, 03013 Cottbus, Germany jeltsch@ Add to Reading List Source URL: www.ioc.ee Download Document from Source Website File Size: 232,26 KB Share Document on Facebook