
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