Type inference for action semantics

DOI10.1007/3-540-52592-0_59MaRDI QIDQ4038657zbMATH OpenFDO

Authors Susan Even, David A. Schmidt

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

action semanticsdenotational semantics definitionsmetalanguagetyping

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A semantics for static type inference
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 3930968
• Category-sorted algebra-based action semantics
• Type inference for pure type systems

Cited in

(11)

• A semantics for static type inference in a nondeterministic language
• Explaining type inference
• Category-sorted algebra-based action semantics
• Action Semantics in Retrospect
• A review of type inference methods based on machine learning
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• scientific article; zbMATH DE number 1760047 (Why is no real title available?)
• ACTION TYPES IN STIT SEMANTICS
• A Rewriting Semantics for Type Inference
• Type inference in stack based languages
• Implementing type systems for the IDE with Xsemantics

This page was built for publication: Type inference for action semantics

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