/
Type Inference with Run-time Logs Type Inference with Run-time Logs

Type Inference with Run-time Logs - PowerPoint Presentation

marina-yarberry
marina-yarberry . @marina-yarberry
Follow
366 views
Uploaded On 2018-03-17

Type Inference with Run-time Logs - PPT Presentation

Ravi Chugh Motivation Dynamic Languages Dynamicallytyped languages Enable rapid prototyping Facilitate interlanguage development Staticallytyped languages Prevent certain runtime errors Enable optimized execution ID: 654970

type int foo system int type system foo def inference polymorphism subtyping bounded quantification time dynamic types run challenge

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Type Inference with Run-time Logs" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript