Sciweavers

11909 search results - page 57 / 2382

» The Scheme Programming Language

90

Voted

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

15 years 9 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

89

Voted

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

15 years 9 months ago

Automated module interface upgrade

Download www.erlang-factory.com

László Lövei

claim paper

Read More »

95

Voted

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

15 years 9 months ago

Recent improvements to the McErlang model checker

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

87

Voted

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

15 years 9 months ago

Implementing the PGI Accelerator model

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

153

Voted

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 9 months ago

An Introduction to the Lambda Calculus

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

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