Sciweavers

18429 search results - page 348 / 3686
» Typing dynamic typing
Sort
View
FLAIRS
2007
15 years 9 months ago
Discriminating between Second Language Learning Text-Types
Text classification remains one of the major fields of research in natural language processing. This paper evaluates the use of the computational tool Coh-Metrix as a means to dis...
Scott A. Crossley, Philip M. McCarthy, Danielle S....
APLAS
2008
ACM
15 years 8 months ago
Interface Types for Haskell
Peter Thiemann, Stefan Wehr
BMEI
2008
IEEE
15 years 8 months ago
A New Type of Image-Based Key
Keys are character based tools for plant identification. They are based on the decomposition of the plant into very small, atomistic parts. These parts are described with the tech...
Bruce Kirchoff, David Remington, Lixin Fu, Fereido...
140
Voted
CSR
2006
Springer
15 years 8 months ago
Inductive Type Schemas as Functors
Freiric Barral, Sergei Soloviev
ECOOP
2008
Springer
15 years 8 months ago
Kilim: Isolation-Typed Actors for Java
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
Sriram Srinivasan, Alan Mycroft