Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey - Bell Labs - Document - PDFSEARCH.IO

First Page	Meta Content
	Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey Add to Reading List Document Date: 2012-11-06 09:48:46 Open Document File Size: 396,70 KB Share Result on Facebook Company Lucent / / IndustryTerm Web Client Applications / web applications / function applications / web client application development / / Organization MIT / / Person Sebastian Bocq / / / Position garbage collector / / ProgrammingLanguage ECMAScript / JavaScript / / ProvinceOrState Illinois / / Technology functional programming / Document Object Model / DOM / GUI / / SocialTag Functional languages Functional programming Scripting languages Lisp programming language Type theory Agda Lambda calculus ECMAScript JavaScript Computing

Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan JeffreyAdd to Reading List