An analysis of the Core-ML language: Expressive power and type reconstruction

DOI10.1007/3-540-58201-0_60zbMath1422.68020OpenAlexW1533094895MaRDI QIDQ4632418

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson

Publication date: 29 April 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58201-0_60

zbMATH Keywords

operational semanticsinference ruleTuring machinerelational algebraexpressive power

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Uses Software

• ML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The expressiveness of a family of finite set languages
• On the complexity of queries in the logical data model
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Datalog extensions for database queries and updates
• Why not negation by fixpoint?
• On the expressive power of database queries with intermediate types
• A simple proof of a theorem of Statman
• A new recursion-theoretic characterization of the polytime functions
• A theory of type polymorphism in programming
• The typed lambda-calculus is not elementary recursive
• Structure and complexity of relational queries
• Database query languages embedded in the typed lambda calculus
• The Expressiveness of Simple and Second-Order Type Structures
• Horn clause queries and generalizations
• On the sequential nature of unification
• Relational queries computable in polynomial time
• Definierbare Funktionen imλ-Kalkül mit Typen
• Quantifier elimination and parametric polymorphism in programming languages
• The complexity of type inference for higher-order typed lambda calculi
• A Machine-Oriented Logic Based on the Resolution Principle
• Intensional interpretations of functionals of finite type I

This page was built for publication: An analysis of the Core-ML language: Expressive power and type reconstruction