Sciweavers

6794 search results - page 528 / 1359
» Semantics of Visual Languages
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
HASKELL
2008
ACM
15 years 8 months ago
Making monads first-class with template haskell
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
Pericles S. Kariotis, Adam M. Procter, William L. ...
TCS
1998
15 years 6 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
ML
2007
ACM
15 years 6 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
IALP
2010
15 years 4 months ago
A Proposed Model for Constructing a Yami WordNet
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...
Meng-Chien Yang, D. Victoria Rau, Ann Hui-Huan Cha...