In the functional programming literature, compiling is often expressed as a translation between source and target program calculi. In recent work, Sabry and Wadler proposed the notion of a reeection as a basis for relating the source and target calculi. A reeection elegantly describes the situation where there is a kernel of the source language that is isomorphic to the target language. However...

This paper examines the use of type-safe linguistic reeection in Haskell, a functional language. Several uses are identiied: providing an extensible system of instance derivation; extending derivation beyond type classes and providing a method for polytypic programming. A preprocessor for Haskell is presented that performs compile-time reeection upon type declarations in source code.

we consider a 2-dimensional representation of the hecke algebra h(g7; u), whereg7 is the complex re ection group and u is the set of indeterminatesu = (x1; x2; y1; y2; y3; z1; z2; z3):after specializing the indetrminates to non zero complex numbers, we then determine a nec-essary and sucient condition that guarantees the irreducibility of the complex specializationof the representation of the ...

Many compressible ow and aeroacoustic computations rely on accurate nonre ecting or radiation boundary conditions. When the equations and boundary conditions are discretized using a nite-di erence scheme, the dispersive nature of the discretized equations can lead to spurious numerical re ections not seen in the continuous boundary value problem. Here we construct discretely nonre ecting bounda...

We report observations of space-group-forbidden Bragg re ections in Potassium Dihydrogen Phosphate (KH2PO4), also known as KDP, measured by resonant x-ray di raction at the potassium K edge. We nd clear evidence for a transition from one class of space-groupforbidden re ections, where scattering is ruled out by the electric dipole approximation, to a second class, in the ferroelectric phase, wh...

Reverberation caused by sound re ected o surfaces and objects is present in abundance in everyday life. Yet, in most situations we are unaware of it. This is due to the ability of our auditory system to adapt to the incoming sound re ections, which results in increased echo thresholds, i.e. the minimum delay to hear a re ection as an echo is increased after the echo was heard repeatedly. Change...

The use of microphone arrays for sound pickup in reverberant environments has been proposed by many authors. The observation on the M microphones can be decomposed into a spatially coherent and an incoherent part. The rst one is due to perfect (plane or spherical) sound waves caused by the direct path and specular re ections, whereas the latter is caused by di usion, di raction, non-perfect re ...

Standard ML is one of a number of new programming languages developed in the s that are seen as suitable vehicles for serious systems and applications programming It o ers an excellent ratio of expressiveness to language complexity and provides competitive e ciency Because of its type and module system Standard ML manages to combine safety security and robustness with much of the exibility of d...

This paper describes a bidirectional Monte Carlo ray tracing method simu lating global illumination in models containing complex objects that do not have to be tessellated The two pass method combines a rst pass light ray tracing ray casting with a second pass optimized Monte Carlo ray tracing In the rst pass the light emitted from the light sources hit objects in the scene and may be re ected ...

This paper proposes a new method for reconstruction a shape of skin surface replica from shading image sequence taken with di erent light source directions. Since the shading images include shadows caused by surface height uctuation, and specular and inter re ections, the conventional photometric stereo method is not suitable for reconstructing its surface accurately. In the proposed method, we...