Prof. Dr. Mar­tin Plümicke pre­sents his work on au­to­matic type in­fer­ence for Java. The talk is on Fri­day, De­cem­ber 5, at 2pm c.t. in Prof. Klaus Os­ter­mann
HeadOs­ter­mann’s of­fice (B217/218).

Ab­stract

In Java, fea­tures such as gener­ics and lambda-ex­pres­sions re­quire the pro­gram­mer to ex­plic­itly write out com­plex type for vari­ables and meth­ods. This talk is about an ap­proach for au­to­matic type in­fer­ence in Java with­out los­ing sta­tic type safety. The pre­sen­ta­tion in­cludes the in­fer­ence al­go­rithm as well as a pro­to­typ­i­cal im­ple­men­ta­tion in the form of an Eclipse plu­gin.

About the Speaker

Mar­tin Plümicke stud­ied Math­e­mat­ics and Physics at the Uni­ver­sity of Tübin­gen be­fore get­ting his PhD in Com­puter Sci­ence. In his dis­ser­ta­tion, he worked on type sys­tems of func­tional lan­guages and de­vel­oped a type in­fer­ence al­go­rithm for OBJ. Today, he is a pro­fes­sor at the Baden-Wuert­tem­berg Co­op­er­a­tive State Uni­ver­sity (DHBW). His re­search is now about the type sys­tem of Java. He first de­vel­oped a type in­fer­ence al­go­rithm for Java with gener­ics, which he is now ex­tend­ing to sup­port lambda ex­pres­sions.

Fur­ther In­for­ma­tion

• Mar­tin Plümicke