The following pages link to Types and programing languages (Q2778806):
Displaying 50 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Modeling grammatical evolution by automaton (Q351022) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Unifying sets and programs via dependent types (Q408534) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- An algebra of behavioural types (Q418153) (← links)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Membership(s) and compliance(s) with class-based graphs (Q456151) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- The spirit of ghost code (Q518394) (← links)
- Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations (Q526451) (← links)
- A type system for reflective program generators (Q532406) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Delegation by object composition (Q553899) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
- Conversation types (Q615952) (← links)
- Fundamentals of session types (Q714736) (← links)
- Two algorithms in search of a type-system (Q733753) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Dependently typed array programs don't go wrong (Q843222) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Adding recursion to Dpi (Q877023) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
