112 search results - page 2 / 23 » A type directed translation of MLF to system F |
ICFP
2005
ACM
14 years 7 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...
POPL
1998
ACM
13 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
Suppose we translate two different source languages,
ANLP
2000
13 years 8 months ago
2000
This work is in the context of TransType, a system that observes its user as he or she types a translation and repeatedly suggests completions for the text already entered. The us...
BMCBI
2005
13 years 7 months ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...