Sciweavers

2652 search results - page 5 / 531
» Privacy-preserving linear programming
Sort
View
POPL
2012
ACM
12 years 2 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...
ICFP
2001
ACM
14 years 7 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
IFIP
1994
Springer
13 years 11 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich