1100 search results - page 77 / 220 » Instrumenting annotated programs |
266
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
240
click to vote
POPL
2001
ACM
16 years 5 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
130
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
147
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...