Sciweavers

1185 search results - page 86 / 237
» Implementing Functional Languages: a tutorial
Sort
View
ICFP
2002
ACM
15 years 9 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
ENTCS
2008
105views more  ENTCS 2008»
14 years 10 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch
ICDE
2006
IEEE
193views Database» more  ICDE 2006»
15 years 11 months ago
On Pushing Multilingual Query Operators into Relational Engines
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
A. Kumaran, Pavan K. Chowdary, Jayant R. Haritsa
ESOP
2005
Springer
15 years 3 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
CALCO
2009
Springer
190views Mathematics» more  CALCO 2009»
15 years 4 months ago
DBtk: A Toolkit for Directed Bigraphs
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
Giorgio Bacci, Davide Grohmann, Marino Miculan