Sciweavers

11909 search results - page 49 / 2382

» The Scheme Programming Language

65

ICFP
2009
ACM

136views Programming Languages» more ICFP 2009»

Beautiful differentiation

14 years 10 months ago

Beautiful differentiation

Download conal.net

Conal M. Elliott

claim paper

Read More »

82

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

14 years 10 months ago

Classical BI: a logic for reasoning about dualising resources

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

79

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

14 years 10 months ago

Local rely-guarantee reasoning

Download www.tti-c.org

Xinyu Feng

claim paper

Read More »

59

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

14 years 10 months ago

Focusing and higher-order abstract syntax

Download www.cs.cmu.edu

Noam Zeilberger

claim paper

Read More »

72

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Compositional dynamic test generation

14 years 10 months ago

Compositional dynamic test generation

Download research.microsoft.com

Patrice Godefroid

claim paper

Read More »

« Prev « First page 49 / 2382 Last » Next »