Sciweavers

33 search results - page 1 / 7

» icfp 2005

16

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

14 years 4 months ago

Towards a type theory of contexts

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

15

ICFP
2005
ACM

125views Programming Languages» more ICFP 2005»

Combining higher-order abstract syntax with first-order abstract syntax in ATS

14 years 4 months ago

Combining higher-order abstract syntax with first-order abstract syntax in ATS

Download www.cs.bu.edu

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

14

ICFP
2005
ACM

94views Programming Languages» more ICFP 2005»

A formal treatment of the barendregt variable convention in rule inductions

14 years 4 months ago

A formal treatment of the barendregt variable convention in rule inductions

Download homepages.inf.ed.ac.uk

Christian Urban, Michael Norrish

claim paper

Read More »

15

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

14 years 4 months ago

A language-based approach to functionally correct imperative programming

Download www.cs.rice.edu

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

claim paper

Read More »

10

ICFP
2005
ACM

95views Programming Languages» more ICFP 2005»

Witnessing side-effects

14 years 4 months ago

Witnessing side-effects

Download theory.stanford.edu

We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...

Tachio Terauchi, Alexander Aiken

claim paper

Read More »

« Prev « First page 1 / 7 Last » Next »