13 results on '"Robert Muller"'
Search Results
2. Inferring annotated types for inter-procedural register allocation with constructor flattening.
3. Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.
4. Program Representation Size in an Intermediate Language with Intersection and Union Types.
5. A Typed Intermediate Language for Flow-Directed Compilation.
6. Strongly Typed Flow-Directed Representation Transformations.
7. A Staging Calculus and its Application to the Verification of Translators.
8. Safe and Decidable Type Checking in an Object-Oriented Language.
9. Abstract Interpretation in Weak Powerdomains.
10. A calculus with polymorphic and polyvariant flow types.
11. M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).
12. Domain Theory for Nonmonotonic Functions.
13. M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.