Documents Related by Co-Citation

1232 The temporal logic of programs – A Pnueli - 1977
211 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
662 Concurrency and automata on infinite sequences – D Park - 1981
3655 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
944 A theory of type polymorphism in programming – Robin Milner - 1978
488 Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing – Edward Ashford Lee, David - 1987