Documents Related by Co-Citation

201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
5 LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs – A Jeffrey - 2012
1194 The temporal logic of programs – A Pnueli - 1977
35 Self-Adjusting Computation – Umut A. Acar - 2005
8 Ultrametric Semantics of Reactive Programs – Neelakantan R. Krishnaswami, Nick Benton
25 A Modality for Recursion – Hiroshi Nakano - 2000
159 Generalising Monads to Arrows – John Hughes - 1998
72 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
2 The Curry-Howard correspondence between temporal logic and functional reactive programming. http://www.cs.ut.ee/˜varmo/tday-nelijarve/jeltschslides.pdf – W Jeltsch
3 Signals, not generators – W Jeltsch - 2009
7 First steps in synthetic guarded domain theory: step-indexing in the topos of trees – Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
6 A metric model of lambda calculus with guarded recursion. Presented at FICS – L Birkedal, J Schwinghammer, K Støvring - 2010
2 Strong Normalization in a typed lambda calculus – R P Nederpelt - 1973
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
245 Combinatory reduction systems – J W Klop - 1980
83 Infinite Objects in Type Theory – Thierry Coquand
284 Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
48 A new notation for arrows – Ross Paterson - 2001