Sciweavers

27119 search results - page 34 / 5424

» Languages

54

Voted

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

15 years 9 months ago

Functional morphology

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

67

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Call-by-value is dual to call-by-name

15 years 9 months ago

Call-by-value is dual to call-by-name

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

72

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

15 years 9 months ago

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

Download www.cis.upenn.edu

Geoffrey Washburn, Stephanie Weirich

claim paper

Read More »

77

Voted

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Explicit substitutions and higher-order syntax

15 years 9 months ago

Explicit substitutions and higher-order syntax

Download www.cs.ioc.ee

Neil Ghani, Tarmo Uustalu

claim paper

Read More »

65

Voted

ICFP
2002
ACM

101views Programming Languages» more ICFP 2002»

Contracts for higher-order functions

15 years 9 months ago

Contracts for higher-order functions

Download www.eecs.northwestern.edu

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

« Prev « First page 34 / 5424 Last » Next »