According to our database1, Stefan Mehner authored at least 4 papers between 2013 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Tools for Reasoning about Effectful Declarative Programs.
PhD thesis, 2015
Parametricity and Proving Free Theorems for Functional-Logic Languages.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Location-independent fall detection with smartphone.
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, 2013
Understanding idiomatic traversals backwards and forwards.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013