Dynamic typing: Syntax and proof theory
From MaRDI portal
Publication:1330433
DOI10.1016/0167-6423(94)00004-2zbMath0809.68083MaRDI QIDQ1330433
Publication date: 21 July 1994
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(94)00004-2
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
03B40: Combinatory logic and lambda calculus
Related Items
Explicit effect subtyping, Unnamed Item, Higher order symbolic execution for contract verification and refutation, Space-efficient gradual typing, Combining behavioural types with security analysis, A verified framework for higher-order uncurrying optimizations, Type inference with partial types, Encoding types in ML-like languages, Trends in trends in functional programming 1999/2000 versus 2007/2008, Session Types with Gradual Typing, A Delta for Hybrid Type Checking