Sciweavers

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