View Detailed Profile
Dynamic Type Inference for Gradual Hindley–Milner Typing

Dynamic Type Inference for Gradual Hindley–Milner Typing

Paper and supplementary material: ...

Type Inference for Dynamically-Typed Languages

Type Inference for Dynamically-Typed Languages

Types

Type Inference - TypeScript Programming Tutorial #4

Type Inference - TypeScript Programming Tutorial #4

Type Inference

"A Gradual Introduction to Types" - Laura Hampton (North Bay Python 2019)

"A Gradual Introduction to Types" - Laura Hampton (North Bay Python 2019)

Laura Hampton https://2019.northbaypython.org/schedule/presentation/6/ **Long Description: ** When I was learning Python, my ...

Code Faster or Safer? Static vs Dynamic Typing

Code Faster or Safer? Static vs Dynamic Typing

... typing 00:40 |

Taming Type Annotations in Gradual Typing

Taming Type Annotations in Gradual Typing

... "Taming Type Annotations in

Gradual Liquid Type Inference

Gradual Liquid Type Inference

Paper: https://dl.acm.org/citation.cfm?id=3276502 Refinement

Josef Svenningsson - A gradual type system - Code BEAM STO

Josef Svenningsson - A gradual type system - Code BEAM STO

This talk introduces a new

Optimizing and Evaluating Transient Gradual Typing

Optimizing and Evaluating Transient Gradual Typing

Gradual typing

TyDe 2021 -  Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory

TyDe 2021 - Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory

https://icfp21.sigplan.org/details/TyDe-2021/1/

"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann

"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann

Recent years have seen an explosion of

Dynamic Typing in GHC

Dynamic Typing in GHC

Dr. Stephanie Weirich C◦mp◦se :: Conference http://www.composeconference.org/ February 4, 2016.

Gradually Typing Strategies

Gradually Typing Strategies

Gradually Typing