scientific article; zbMATH DE number 177779

zbMATH Open0765.68101MaRDI QIDQ4038657FDOQ4038657

Authors: Susan Even, David A. Schmidt 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

metalanguagetypingaction semanticsdenotational semantics definitions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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
• Title not available (Why is that?)
• A Rewriting Semantics for Type Inference
• Title not available (Why is that?)
• 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)