✦ LIBER ✦

Visual type inference

✍ Scribed by Martin Erwig

Book ID: 113768984
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 723 KB
Volume: 17
Category: Article
ISSN: 1045-926X
DOI: 10.1016/j.jvlc.2005.04.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Visualizing Scientific Inference

✍ David C. Gooding 📂 Article 📅 2010 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 525 KB

Galton Visualizing Bayesian Inference

✍ Stephen M. Stigler 📂 Article 📅 2011 🏛 American Statistical Association ⚖ 794 KB

Static Type Inference for a First-Order

Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance

✍ REBECCA WALPOLE DJANG; MARGARET M. BURNETT; ROGER D. CHEN 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Type Inference for Pure Type Systems

✍ Paula Severi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 316 KB

Type inference against races

✍ Cormac Flanagan; Stephen N. Freund 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 436 KB

The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supplied type annotations. This paper describes a type inference algorithm for rccjava. Due to the interaction of parameterized classe

Type inference with constrained types

✍ Odersky, Martin; Sulzmann, Martin; Wehr, Martin 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

We present a general framework HM(X) for type systems with constraints. The framework stays in the tradition of the Hindley/Milner type system. Its type system instances are sound under a standard untyped compositional semantics. We can give a generic type inference algorithm for HM(X) so that, unde