Вы здесь

Главная

ml

Связанные издания:

1+1=1 : An Optimizing Caml Compiler
A Fully Abstract Translation between a -calculus with Reference Types and Standard ML
A Metalanguage for Interactive Proof in LCF
An Action Semantics for ML Concurrency
An Algebraic Characterization of Typability in ML with Subtyping
An ASM Dynamic Semantics for Standard ML
A Region Inference Algorithm
A Structured TCP in Standard ML
A Theory of Weak Bisimulation for Core CML
A Type-Based Compiler for Standard ML
A Type-Based Implementation of a Language with Distributed Scope
Beyond ML
Binding-Time Analysis for Standard ML
Bridging the Gulf: A Common Intermediate Languge for ML and Haskell
Characterisation of Object Behaviour in Standard ML of New Jersey
Compile-time Detection of Uncaught Exceptions in Standard ML Programs
Compiling Standard ML to Java Bytecodes
Designing Functional Dependencies for XML
Encoding Types in ML-like Languages
Essentials of Standard ML Modules
Extending ML with Semi-Explicit Higher-Order Polymorphism
First-Class Structures for Standard ML
Higher-Order Redundancy Elimination
Implementing Threads in Standard ML
Inserting Safe Memory Reuse Commands into ML-Like Programs
Interfaces and Extended ML
Interlanguage Working without Tears: Blending SML with Java
LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection
Mixin Modules
ML and Beyond
Non-dependent Types for Standard ML Modules
Optimal Type Lifting
Optimizing ML Using a Hierarchy of Monadic Types
Optimizing ML with Run-Time Code Generation
Parallel Juxtaposition for Bulk Synchronous Parallel ML
Polymorphic Subtyping for Effect Analysis: The Algorithm
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics
Polymorphic Subtyping for Effect Analysis: The Static Semantics
Programming in Standard ML 97: A Tutorial Introduction
Prototyping Application Models in Concurrent ML
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming
Reflections on the Design of a Specification Language
Run-time Code Generation and Modal-ML
Semantics of Type Classes Revisited
Set-Based Analysis of ML Programs
Signatures for a Network Protocol Stack: A Systems Application of Standard ML
Simple objects for Standard ML
Simple Objects for Standard ML
Systematic Realisation of Control Flow Analyses for CML
Tag-Free Garbage Collection Using Explicit Type Parameters