267 search results - page 16 / 54 » Formal Parametric Polymorphism |
149
click to vote
SAS
1991
Springer
15 years 9 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
161
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
196
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
166
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
144
click to vote
SAS
2007
Springer
16 years 10 hour ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...