Philip Klein, 2002. Personal communication. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reducing Synchronization Overhead in Parallel Simulation - Ulana Legedza William (1996) (15 citations) (Correct)
....requiring communication or not) potentially affect other target processors, so it is not correct to allow application threads to run ahead until a communication operation is encountered. LAPSE is a conservative, direct execution based parallel simulator of the message passing Intel Paragon [10] [11] 12] It achieves good performance by exploiting two sources of lookahead. First, like the runtime analysis in predictive barrier scheduling, LAPSE lets some application code execute in advance of the simulation of its timing. However, unlike Parallel Proteus, LAPSE does not augment this ....
Philip M. Dickens. Personal communication. January 1996.
Semantic Lego - Espinosa (1995) (6 citations) (Correct)
....sum. Thus zero has type zero : Den Den where we write Den instead of Den(Val ) Tagging values with their types exposes the treatment of types in the semantic equations and abstracts from the existing Scheme types. Most type systems are not powerful enough to type typed interpreters [Wada]. For example, the interpreters in [Wad92] are untyped even though they are written in Haskell, which is typed. The problem is that we would like to write ( var x) Num when x is a number; however, the type of ( var x) depends on the context in which the expression occurs. In general, the ....
Philip Wadler. Personal communication.
Client-side Web Scripting with HaskellScript - Meijer, Leijen, Hook (1999) (1 citation) (Correct)
.... VARIANT IO a unmarshals a VARIANT into its corresponding Haskell representation: class Variant a where marshal : a Pointer VARIANT IO ( unmarshall : Pointer VARIANT IO a The real Variant class has some additional member functions as it uses a trick due to Phil Wadler [16] to simulate overlapping instances akin to the Read and Show classes in Haskell. We have written an IDL compiler called H Direct [5] that generates Haskell bindings for COM components whose interfaces are specified in IDL. The compiler maps the properties and methods of the IHTMLStyle interface ....
Philip Wadler. Personal communication.
Tree Edit Distance, Alignment Distance and Inclusion - Bille (2003) (Correct)
No context found.
Philip Klein, 2002. Personal communication.
Client-side Web Scripting with HaskellScript - Meijer, Leijen, Hook (1999) (1 citation) (Correct)
No context found.
Philip Wadler. Personal communication.
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