According to our database1, Heather Miller authored at least 12 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
A reduction semantics for direct-style asynchronous observables.
J. Log. Algebr. Meth. Program., 2019
Simplicitly: foundations and applications of implicit function types.
A programming model and foundation for lineage-based distributed computation.
J. Funct. Program., 2018
Towards a Solution to the Red Wedding Problem.
Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018
Function passing: a model for typed, distributed functional programming.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016
Distributed Programming via Safe Closure Passing.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Functional programming for all! scaling a MOOC for students and professionals alike.
Proceedings of the 36th International Conference on Software Engineering, 2014
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.
Proceedings of the Languages and Compilers for Parallel Computing, 2012
Seamless data visualization for frost detection.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011