8021 search results - page 16 / 1605 » A Type System for Tom |
ALIFE
2005
13 years 7 months ago
2005
Recent years have seen the discovery of freely diffusing gaseous neurotransmitters, such as nitric oxide (NO), in biological nervous systems. A type of artificial neural network (A...
3DIM
2001
IEEE
13 years 11 months ago
2001
IEEE
A new type of diffraction range finder is disclosed that places the primary grating at an angle of grazing incidence relative to the receiver. The new design offers improvements o...
FLOPS
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
JFP
2007
13 years 7 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...