In flight performance and first results of FREGATE

The gamma-ray detector of HETE-2, called FREGATE, has been designed to detect gamma-ray bursts in the energy range [6-400] keV. Its main task is to alert the other instruments of the occurrence of a gamma-ray burst (GRB) and to provide the spectral coverage of the GRB prompt emission in hard X-rays and soft gamma-rays. FREGATE was switched on on October 16, 2000, one week after the successful launch of HETE-2, and has been continuously working since then. We describe here the main characteristics of the instrument, its in-flight performance and we briefly discuss the first GRB observations.Comment: Invited lecture at the Woods Hole 2001 GRB Conference, 8 pages, 15 figure

Type classes in Haskell

This paper de nes a set of type inference rules for resolving overloading introduced by type classes. Programs including type classes are transformed into ones which may be typed by the Hindley-Milner inference rules. In contrast to other work on type classes, the rules presented here relate directly to user programs. An innovative aspect of this work is the use of second-order lambda calculus to record type information in the program. 1

Security properties of typed applets

This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural encapsulation, type abstraction, and systematic type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets