Stefan Mehner

According to our database1, Stefan Mehner authored at least 4 papers between 2013 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Tools for Reasoning about Effectful Declarative Programs.
PhD thesis, 2015

2014
Parametricity and Proving Free Theorems for Functional-Logic Languages.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2013
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


  Loading...