IOC - PDFSEARCH.IO - Document Search Engine

IOC
Results: 2147

#	Item
381	Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:51:31
382	Improving Push-based FRP Improving Push-based FRP Wolfgang Jeltsch Brandenburgische Technische Universität Cottbus Cottbus, Germany Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:50:23
383	Record Type Families Wolfgang Jeltsch Introduction Record Type Families: Add to Reading List Source URL: cs.ioc.ee - Date: 2011-10-31 11:56:33
384	page.1 An Abstract Categorical Semantics for Functional Reactive Programming with Processes Wolfgang Jeltsch TTÜ Küberneetika Instituut Add to Reading List Source URL: www.ioc.ee - Date: 2014-09-30 07:04:48
385	Introduction Record type families Folding record schemes Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:50:48
386	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 - Date: 2012-04-24 14:51:04
387	page.1 A Categorical Foundation of Functional Reactive Programming with Mutable State Wolfgang Jeltsch TTÜ Küberneetika Instituut Add to Reading List Source URL: cs.ioc.ee - Date: 2013-10-29 16:54:45
388	Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:50:32
389	Generische RecordKombinatoren Wolfgang Jeltsch Motivation Selbstgebautes Record-System Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:51:14

UPDATE