Dynamic Typing in a Statically-Typed Language

13 years 9 months ago

Download www.st.cs.uni-saarland.de

Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subtyping.

Martín Abadi, Luca Cardelli, Benjamin C. Pi

Real-time Traffic

Dynamic Typing | POPL 1989 | Programming Languages | Statically Typed |

claim paper

» Implicit Parameters Dynamic Scoping with Static Types

» RPython a step towards reconciling dynamically and statically typed OO languages

» Dynamic inference of static types for ruby

» From Flow Logic to Static Type Systems for Coordination Languages

» The Security of Static Typing with Dynamic Linking

» Static type inference for Ruby

» Generic record combinators with static type checking

» A static type system for JVM access control

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1989
Where	POPL
Authors	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin

Comments (0)

Sciweavers

Dynamic Typing in a Statically-Typed Language

Dynamic Typing | POPL 1989 | Programming Languages | Statically Typed |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers