118 search results - page 12 / 24 » Integrating Typed and Untyped Code in a Scripting Language |
108
click to vote
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
232
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
204
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
115
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
131
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...