Back to Results
First PageMeta Content
Functional programming / Algebraic topology / Fold / Recursion / Valuation / Sheaf / Append / Monad / Natural deduction / Abstract algebra / Software engineering / Declarative programming


Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton
Add to Reading List

Document Date: 2011-11-14 06:01:35

Open Document

File Size: 380,41 KB

Share Result on Facebook

City

Philadelphia / /

Company

Next-Step Operational Semantics / Yale Haskell Group / Microsoft / /

Country

United States / /

Currency

USD / /

/

Facility

Yale University / /

IndustryTerm

tensor product / web applications / signal-processing functions / sensor networks / stream-processing nodes / signal processing networks / reactive systems / embedded control software / implementable clocked systems / /

Organization

LA PP / Yale University / /

Position

denotational model for bounded higher-order reactive programming / Contexts General / General / head / Terms General / current head / programmer / /

ProgrammingLanguage

E / Esterel / C / L / /

Technology

alpha / functional programming / DSL / /

SocialTag