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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹ️ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hybrid: Seminar room, SPRI & Zoom - email organiser for details Lecture Theatre 0, University of Cambridge Engineering Department, Trumpington Street, Cambridge DPMMS Lists

Other talks

Title TBC Director's Briefing Title to be confirmed A Few Days in Patagonia - the Deep South Title TBC TOWARD AFFORDABLE PREVENTIVE HEALTHCARE: How basic science addresses grand challenges
 

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