Sciweavers

10666 search results - page 362 / 2134
» Quantum programming languages
Sort
View
POPL
1989
ACM
15 years 10 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...
HASKELL
2007
ACM
15 years 10 months ago
A functional-logic library for wired
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
Matthew Naylor, Emil Axelsson, Colin Runciman
LRE
2010
75views more  LRE 2010»
15 years 1 months ago
The variability of multi-word verbal expressions in Estonian
Kadri Muischnek, Heiki Jaan Kaalep
BIRTHDAY
2008
Springer
15 years 8 months ago
The Reaction Algebra: A Formal Language for Event Correlation
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
César Sánchez, Matteo Slanina, Henny...
VL
2009
IEEE
128views Visual Languages» more  VL 2009»
16 years 1 months ago
Language-based support for computational thinking
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...
Katherine Howland, Judith Good, Keiron Nicholson