Sciweavers

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