321 search results - page 46 / 65 » Programming with ASN.1 Using Polymorphic Types and Type Spec... |
110
click to vote
FPCA
1989
15 years 6 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
117
click to vote
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
121
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
118
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
149
click to vote
ASAP
2004
IEEE
15 years 6 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...