Search Sciweavers | Sciweavers

1412 search results - page 4 / 283

» types 2004

click to vote

RTA
2004
Springer

100views Theoretical Computer Science» more RTA 2004»

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

14 years 1 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 »

click to vote

IFIP
2004
Springer

115views Programming Languages» more IFIP 2004»

Dynamic Typing with Dependent Types

14 years 1 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 »

click to vote

APLAS
2004
ACM

73views Programming Languages» more APLAS 2004»

A Type Theory for Krivine-Style Evaluation and Compilation

14 years 2 months ago

Download www.jaist.ac.jp

Kwanghoon Choi, Atsushi Ohori

claim paper

Read More »