Items where Author is "Nilsson, H"

Journal article

SCULTHORPE, N. and NILSSON, H., 2010. Keeping calm in the face of change: towards optimisation of FRP by reasoning about change. Higher-Order and Symbolic Computation, 23 (2), pp. 227-271. ISSN 1388-3690

SCULTHORPE, N. and NILSSON, H., 2009. Safe functional reactive programming through dependent types. ACM SIGPLAN Notices, 44 (9), pp. 23-34. ISSN 0362-1340

Chapter in book

SCULTHORPE, N. and NILSSON, H., 2009. Optimisation of dynamic, hybrid signal function networks. In: M. MORAZÁN, P. KOOPMAN and P. ACHTEN, eds., Trends in Functional Programming Volume 9. Intellect, pp. 97-112. ISBN 9781841502779