Registered user since Thu 18 Dec 2014
Name:Steffen Jost
Country:Germany
Affiliation:LMU, Munich, Germany
Personal website:http://www.tcs.ifi.lmu.de/mitarbeiter/steffen-jost/steffen-jost
Research interests:Type Systems, Program Analysis, Functional Programming
Contributions
| ESOP 2015 | Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile