scientific article; zbMATH DE number 177779

MaRDI QIDQ4038657zbMATH OpenFDO

Authors Susan Even, David A. Schmidt

Publication date 18 May 1993

zbMATH Keywords

metalanguagetypingaction semanticsdenotational semantics definitions

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

(10)

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

This page was built for publication:

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