University of Cambridge > Talks.cam > Program verification reading group. > 'Type Analysis for JavaScript', by Jensen, Møller and Thiemann

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

'Type Analysis for JavaScript', by Jensen, Møller and Thiemann

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mike Dodds.

http://www.cs.au.dk/~amoeller/papers/tajs/paper.pdf

This talk is part of the Program verification reading group. series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Robin Irvine Life Sciences

Other talks

The evolution of photosynthetic efficiency Intrinsically Motivating Teachers;STIR's use of Data Driven Insight to Iterate, Pivot and (where necessary) Fail Fast Ethics for the working mathematician, seminar 12: Going back to the start. Metamaterials and the Science of Invisibility Multilingual Identities and Heterogeneous Language Ideologies in the New Latino Diaspora Why does cardiac function deteriorate in heart failure and how does phosphodiesterase 5 inhibition help? Fumarate hydratase and renal cancer: oncometabolites and beyond Investigating the Functional Anatomy of Motion Processing Pathways in the Human Brain Mathematical applications of little string theory A rose by any other name Throwing light on organocatalysis: new opportunities in enantioselective synthesis Power to the People – Creating Markets for Supply Security Based on Consumer Choice
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity