10575 search results - page 461 / 2115 » T2Script Programming Language |
142
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
147
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
154
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
180
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
161
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...