98 search results - page 14 / 20 » Binding-Time Analysis for Polymorphic Types |
126
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
144
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
206
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
142
Voted
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
179
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...