FLOPS 2001 | Sciweavers

27

click to vote

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

14 years 3 months ago

Download www.brics.dk

Olivier Danvy, Morten Rhiger

claim paper

Read More »

42

click to vote

FLOPS
2001
Springer

111views Automated Reasoning» more FLOPS 2001»

A Simply Typed Context Calculus with First-Class Environments

14 years 3 months ago

Download scholar.lib.vt.edu

We introduce a simply typed λ-calculus λκε which has both contexts and environments as ﬁrst-class values. In λκε, holes in contexts are represented by ordinary variables ...

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyam...

claim paper

Read More »

33

click to vote

FLOPS
2001
Springer

90views Automated Reasoning» more FLOPS 2001»

A Higher-Order Colon Translation

14 years 3 months ago

Download www.brics.dk

Olivier Danvy, Lasse R. Nielsen

claim paper

Read More »

29

click to vote

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

14 years 3 months ago

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

23

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 3 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers