3323 search results - page 165 / 665 » Computational Semantics with Functional Programming |
291
Voted
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
151
click to vote
HPCC
2007
Springer
16 years 14 days ago
2007
Springer
An ontology for Semantic Web Services is proposed in this paper, whose intention is to enrich Web Services description. Distinguish from the existing ontologies, the proposed ontol...
160
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
193
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
186
click to vote
GRAPHICSINTERFACE
1996
15 years 7 months ago
1996
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...