Meta-circular interpreter for a strongly typed language

DOI10.1016/S0747-7171(89)80066-5zbMath0693.68013MaRDI QIDQ908683

Masami Hagiya

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

type systemfunctional languagemeta-circular interpreter

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01) Theory of software (68N99)

Uses Software

• ML
• LISP
• Commonloops

Cites Work

• Pebble, a kernel language for modules and abstract data types
• The lambda calculus, its syntax and semantics
• A theory of type polymorphism in programming
• An ideal model for recursive polymorphic types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Meta-circular interpreter for a strongly typed language