Ian Stark  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/sta...thitfm.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.a...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Thimble is a concurrency library for MLj, the open source ML-to-Java bytecode compiler. (Update)
Active bibliography (related documents): More All
0.1: Extensible Virtual Machines - Harris (2001) (Correct)
0.1: The UniForM WorkBench - a Higher Order Tool Integration Framework - Karlsen (1998) (Correct)
0.1: HOL-Z in the UniForM-Workbench - a Case Study in.. - Lüth, Karlsen.. (1998) (Correct)
Similar documents based on text: More All
0.2: MLj 0.2 User Guide - Benton, Kennedy, Russell (1999) (Correct)
0.2: Type Inference for MLj - Bruce Mcadam Andrew (2000) (Correct)
0.1: The Perception of Texture, Object Size and Angularity .. - Penn, Petrie.. (Correct)
BibTeX entry: (Update)
@misc{ stark-thimble,
author = "Ian Stark",
title = "Thimble - Threads for MLj",
url = "citeseer.ist.psu.edu/634318.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998 DBLP
159 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
87 Concurrent Haskell - Jones, Gordon et al. ACM DBLP
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992
45 Communicating and Mobile Systems: The Pi-Calculus (context) - Milner - 1999
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996 ACM DBLP
31 Names and Higher-Order Functions - Stark - 1994
18 Programming the internet in Ada - Taft - 1996
18 Kawa - compiling dynamic languages to the Java VM - Bothner - 1998
13 The reflexive CHAM and the join-calculus (context) - Fournet, Gonthier ACM DBLP
10 The UniForM concurrency toolkit and its extensions to Concur.. - Karlsen - 1997
Documents on the same site (http://homepages.inf.ed.ac.uk/stark/publications.html): More
Automatic Verification of Java Design Patterns - Alex Blewitt Alan (Correct)
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
Operational Reasoning for - Functions With Local (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC