Results 211 to 220 of about 318,464 (268)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A New Type of Reflecting Sight
Journal of the Optical Society of America, 1947This paper describes a reflecting sight in which a mirror objective is used instead of a usual lens. The instrument becomes very small and the optical element is simple even for a large field of view. The astigmatism produced by the oblique reflecting plate is compensated by an off-center cylindrical lens. The problem is mathematically solved.
J, VOGL, S, TACKLIND
openaire +2 more sources
Reflection-Type Hologram for Atoms
Physical Review Letters, 2002A cold metastable neon atomic beam was manipulated with a reflective amplitude hologram that was encoded on a silicon surface. A black-and-white pattern of atoms was reconstructed on a microchannel plate detector. The hologram used the enhanced quantum reflection developed by authors and was made of a two-dimensional array of rectangular low and high ...
Fujio, Shimizu, Jun-ichi, Fujita
openaire +2 more sources
2016
The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called \(\textsf {\textit{TypeRep}}\).
Simon Peyton Jones +3 more
openaire +2 more sources
The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called \(\textsf {\textit{TypeRep}}\).
Simon Peyton Jones +3 more
openaire +2 more sources
Reflection on Teaching: Types and Goals of Reflection
Educational Research and Evaluation, 2004We describe an elaboration of an empirical cognitive model of reflection (McAlpine, Weston, Beauchamp, Wiseman, & Beauchamp, 1999). Specifically, we explain 2 fundamental constructs in the model that were previously less well understood: goal and type of reflection.
Lynn McAlpine +4 more
openaire +1 more source
Reflection equation- and FRT-type algebras
Czechoslovak Journal of Physics, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Donin, Joseph, Mudrov, Andrey
openaire +1 more source
Incremental type-checking for type-reflective metaprograms
Proceedings of the ninth international conference on Generative programming and component engineering, 2010Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its problems. However, one of the problems that remains is that the residual program is not type checked until after meta computation is complete. Ideally, one would like the type system of the metaprogram
Weiyu Miao, Jeremy G. Siek
openaire +1 more source
Reflection for statically typed languages
1998An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either complex, type unsafe, or have a large performance penalty.
openaire +2 more sources