Type-specialized staged programming with process separation

DOI10.1007/s10990-012-9089-0zbMath1256.68022OpenAlexW2057754704MaRDI QIDQ1929349

Scott F. Smith, Yu David Liu, Christian Skalka

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-012-9089-0

zbMATH Keywords

programming languageswireless sensor networksaccess controltype safetyprogram specialization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed systems (68M14)

Related Items (1)

Type-specialized staged programming with process separation

Uses Software

• Coq
• MetaOCaml
• Agda
• Irdis
• Flask
• Ynot
• TAG
• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Bounded existentials and minimal typing
• MetaML and multi-stage programming with explicit annotations
• A variable typed logic of effects
• Type-specialized staged programming with process separation
• Shifting the stage
• Combining programming with theorem proving
• Environment classifiers
• Guarded recursive datatype constructors
• Meta-programming with names and necessity
• Tagless staged interpreters for typed languages
• A Brief Overview of Agda – A Functional Language with Dependent Types
• A modal analysis of staged computation
• A type system for well-founded recursion
• Inlining as staged computation
• A modular module system
• Intensional polymorphism in type-erasure semantics
• Introduction to generalized type systems
• Macros as multi-stage computations
• Ynot
• Meta-programming through typeful code representation

This page was built for publication: Type-specialized staged programming with process separation