Sciweavers

2652 search results - page 5 / 531
» Privacy-preserving linear programming
Sort
View
182
Voted
POPL
2012
ACM
14 years 1 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
130
Voted
ICFP
2001
ACM
16 years 5 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
IFIP
1994
Springer
15 years 10 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich