Search Sciweavers | Sciweavers

1412 search results - page 4 / 283

» types 2004

152

Voted

RTA
2004
Springer

100views Theoretical Computer Science» more RTA 2004»

A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems

15 years 11 months ago

Download www-rocq.inria.fr

Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...

Frédéric Blanqui

claim paper

Read More »

155

click to vote

IFIP
2004
Springer

115views Programming Languages» more IFIP 2004»

Dynamic Typing with Dependent Types

15 years 11 months ago

Download www2.research.att.com

Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...

Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Wa...

claim paper

Read More »

Voted

APLAS
2004
ACM

73views Programming Languages» more APLAS 2004»

A Type Theory for Krivine-Style Evaluation and Compilation

15 years 11 months ago

Download www.jaist.ac.jp

Kwanghoon Choi, Atsushi Ohori

claim paper

Read More »