Results 1 -
3 of
3
Polymorphic type assignment and CPS conversion
- LISP and Symbolic Computation
, 1993
"... Meyer and Wand established that the type of a term in the simply typed-calculus may be related in a straightforward manner to the type of its call-by-value CPS transform. This typing property maybe extended to Scheme-like continuation-passing primitives, from which the soundness of these extensions ..."
Abstract
-
Cited by 33 (10 self)
- Add to MetaCart
Meyer and Wand established that the type of a term in the simply typed-calculus may be related in a straightforward manner to the type of its call-by-value CPS transform. This typing property maybe extended to Scheme-like continuation-passing primitives, from which the soundness of these extensions follows. We study the extension of these results to the Damas-Milner polymorphic type assignment system under both the call-by-value and call-by-name interpretations. We obtain CPS transforms for the call-by-value interpretation, provided that the polymorphic let is restricted to values, and for the call-by-name interpretation with no restrictions. We prove that there is no call-by-value CPS transform for the full Damas-Milner language that validates the Meyer-Wand typing property and is equivalent to the standard call-by-value transform up to-conversion. 1
Spectral Quality Requirements for Effluent Quantification*
"... Based on simulated atmospheric and sensor effects, we identify spectral resolution and per-channel signal-to-noise ratio (SNR) requirements for thermal infrared spectrometers that allow effluent quantification to any desired precision. This work is based on the use of MODTRAN-4 to explore the effect ..."
Abstract
- Add to MetaCart
Based on simulated atmospheric and sensor effects, we identify spectral resolution and per-channel signal-to-noise ratio (SNR) requirements for thermal infrared spectrometers that allow effluent quantification to any desired precision. This work is based on the use of MODTRAN-4 to explore the effects of temperature contrast and effluent concentration on the spectral slopes of particular absorption features. These slopes can be estimated from remotely sensed spectral data by use of least-squares techniques. The precision of these estimates is based on two factors related to spectral quality: the number of spectral samples that lie along an absorption feature and the radiometric accuracy of the samples themselves. The least-squares process also calculates the slope estimation error variance, which is related to the effluent quantification uncertainty by the same function that maps the slope itself to effluent quantity. The effluent quantification precision is thus shown to be a function of the spacing between spectral channels and the per-channel SNR. The relationship between SNR, channel spacing and effluent quantification precision is expressed as an equation defining a surface of constant "difficulty. " This surface can be used to evaluate parameter sensitivities of sensors in design, to appropriately task sensors, or to evaluate effluent quantification tasks in terms of feasibility. 1.
unknown title
, 708
"... (will be inserted by the editor) All-optical formation of a Bose-Einstein condensate for applications in scanning electron microscopy ..."
Abstract
- Add to MetaCart
(will be inserted by the editor) All-optical formation of a Bose-Einstein condensate for applications in scanning electron microscopy

