Synthesizing functional reactive programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito. Synthesizing functional reactive programs. In Richard A. Eisenberg, editor, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. pages 162-175, ACM, 2019. [doi]

This author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Felix Klein 0001' in GoogleThis author has not been identified. Look up 'Ruzica Piskac' in GoogleThis author has not been identified. Look up 'Mark Santolucito' in Google

runs on WebDSL