Sciweavers

2652 search results - page 5 / 531
» Privacy-preserving linear programming
Sort
View
POPL
2012
ACM
14 years 16 days 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...
120
Voted
ICFP
2001
ACM
16 years 4 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
113
Voted
POPL
1996
ACM
15 years 9 months ago
Points-to Analysis in Almost Linear Time
Bjarne Steensgaard
110
Voted
IFIP
1994
Springer
15 years 9 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich