TREX
From MaRDI portal
Cited in
(21)- A type theory for memory allocation and data layout
- Efficient algorithms for isomorphisms of simple types
- Pure patterns type systems
- Coercive subtyping for the calculus of constructions (extended abstract)
- Bitwidth aware global register allocation
- Folklore confirmed
- The M-calculus: a higher-order distributed process calculus
- Static prediction of heap space usage for first-order functional programs
- From control effects to typed continuation passing
- Bigraphs and transitions
- XDuce
- SmallEiffel
- Environment classifiers
- A generic approach to the static analysis of concurrent programs with procedures
- Discovering affine equalities using random interpretation
- A type system for higher-order modules
- Boolean operations and inclusion test for attribute-element constraints
- New results on the computability and complexity of points-to analysis
- Incremental algorithms for dispatching in dynamically typed languages
- Ownership types for object encapsulation
- Guarded recursive datatype constructors
This page was built for software: TREX
