Home » forums » LtU Forum

hot topics in type theorem

Hi all!

Please guide me to actual hot topics in type theorem, what is researched heavily nowadays? Which are the good online and offline sources of publications in this field?
Thanks,

By Zsolt Szalai at 2010-04-16 06:46 | LtU Forum | previous forum topic | next forum topic | other blogs | 6101 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

PLDI, POPL, ESOP

Look at the papers presented at recent PL conferences.

CMU maintains a list.

By Charles Stewart at Fri, 2010-04-16 09:22 | login or register to post comments

s/PLDI/TLDI/

I would add ICFP and TLDI to the top of the list. Remove PLDI - when it comes to type theory it is mostly irrelevant these days.

By Andreas Rossberg at Fri, 2010-04-16 09:59 | login or register to post comments

I would list the following

To me the following are hot topic in type-theory research.

  • Types for concurrency, (e.g. session types, channel types).
  • More expressive typing systems (e.g. refinement types, dependent types) and their integration with other forms of specification and verification (Hoare logic, interactive theorem proving, contracts).
  • Integration of static and dynamic typing (e.g. gradual typing, hybrid typing).
  • Types that are useful for meta-programming (e.g. environment classifiers).
By Martin Berger at Fri, 2010-04-16 17:36 | login or register to post comments