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 | Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile