An approach to completing variable names for implicitly typed functional languages

DOI10.1007/S10990-013-9095-XzbMATH Open1360.68340OpenAlexW2612875137MaRDI QIDQ526448FDOQ526448

Isao Sasano, Takumi Goto

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-013-9095-x

zbMATH Keywords

Emacs-modepolymorphic languagetype inferencevariable name completion

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Cites Work

• A theory of type polymorphism in programming
• A Machine-Oriented Logic Based on the Resolution Principle
• Type error slicing in implicitly typed higher-order languages
• Using types as search keys in function libraries
• An approach to completing variable names for implicitly typed functional languages

Cited In (1)

• An approach to completing variable names for implicitly typed functional languages

Uses Software

• ML

   Recommendations

• Title not available (Why is that?) 👍 👎
• The completeness of typing for context-semantics 👍 👎
• Title not available (Why is that?) 👍 👎
• An approach to call-by-name delimited continuations 👍 👎
• Towards Static Analysis of Functional Programs Using Tree Automata Completion 👍 👎
• Implementing compositional analysis using intersection types with expansion variables 👍 👎
• Title not available (Why is that?) 👍 👎
• Implicit self-adjusting computation for purely functional programs 👍 👎
• Implicit self-adjusting computation for purely functional programs 👍 👎

This page was built for publication: An approach to completing variable names for implicitly typed functional languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526448)