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

First Page	Meta Content
	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 Document Date: 2012-04-24 14:51:04 Open Document File Size: 232,26 KB Share Result on Facebook

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