Functional Reactive Dependency Tracking Model