906 search results - page 39 / 182 » Language and program design for functional dependencies |
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
HASKELL
2009
ACM
14 years 5 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
MSCS
2008
13 years 10 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
MICRO
2009
IEEE
14 years 5 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
CAD
2004
Springer
13 years 10 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...