MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Mads Tofte" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 27 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Principal Siignatures for Higher-order Program. Modules  
  • by Mads Tofte
  • …Under the Damas-Milner type discipline for functional languages, every expression has a principal type, if it elaborates at all. In the type .discipline for ML Modules, a signature expression has a principal signature, if it elaborates at all. However, while functions can be higher-order in ML, para…
  • Add To MetaCart
  • Essentials of Standard ML Modules  
  • by Mads Tofte — 1996 — 1996 Summer School on Advanced Functional Programming, Oregon Graduate Institute
  • …. The following notes give an overview of Standard ML Modules system. 1 Part 1 gives an introduction to ML Modules aimed at the reader who is familiar with a functional programming language but has little or no experience with ML programming. Part 2 is a half-day practical intended to give the re…
  • Cited by 4 (0 self) – Add To MetaCart
  • Operational Semantics and Polymorphic Type Inference  
  • by Mads Tofte, Mads Tofte — 1988
  • …Abstract Three languages with polymorphic type disciplines are discussed, namely the *-calculus with Milner's polymorphic type discipline; a language with imperative features (polymorphic references); and a skeletal module language with structures, signatures and functors. In each of the two first c…
  • Cited by 86 (2 self) – Add To MetaCart
  • Unification and Polymorphism in Region Inference  
  • by Mads Tofte, Lars Birkedal — 1996 — In Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • …Region Inference is a technique for inferring lifetimes of values in strict, higher-order programming languages such as Standard ML. The purpose of this paper is to show how ideas from Milner's polymorphic type discipline can serve as a basis for region inference, even in the presence of a limited f…
  • Cited by 11 (2 self) – Add To MetaCart
  • A Constraint-Based Region Inference Algorithm  
  • by Lars Birkedal, Mads Tofte — 1999 — Theoretical Computer Science
  • …Region inference is a type-based technique for determining runtime memory management at compile time. It is targeted at a runtime model in which the store consists of a stack of regions and memory management predominantly consists of pushing and popping regions. Region inference has previously been …
  • Cited by 9 (1 self) – Add To MetaCart
  • Object-Oriented Programming and Standard ML  
  • by Lars Thorup, Mads Tofte — 1994 — In Record of the 1994 ACM SIGPLAN Workshop on ML and its Applications
  • …This paper explores connections between object-oriented programming and Standard ML. In particular we show that F-bounded polymorphism can be expressed using ML's polymorphism and a programming technique we call wrapping. The encoding of F-bounded polymorphism can be used to encode classes as ML m…
  • Cited by 3 (0 self) – Add To MetaCart
  • A Theory of Stack Allocation in Polymorphically Typed Languages  
  • by Mads Tofte, Jean-Pierre Talpin — 1993
  • …We present a stack-allocation scheme for the call-by-value lambda calculus typed according to Milner's polymorphic type discipline. All the values a program produces, including function closures, are put into regions at runtime. Regions are allocated and deallocated in a stack-like manner. Region in…
  • Cited by 21 (5 self) – Add To MetaCart
  • A Region Inference Algorithm  
  • by Mads Tofte , Lars Birkedal — 1998 — ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
  • …This article presents an algorithm which implements the specification. We prove that the algorithm is sound with respect to the region inference rules and that it always terminates even though the region inference rules permit polymorphic recursion in regions. The algorithm is the result of several …
  • Cited by 63 (4 self) – Add To MetaCart
  • Region-Based Memory Management  
  • by Mads Tofte, Jean-Pierre Talpin — 1997
  • …This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At runtime, all values are put into regions. The store consists of a stack of regions. All points of region allocation and deallocation are inferred automatically, using a type …
  • Cited by 237 (8 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB