Sciweavers

11909 search results - page 42 / 2382

» The Scheme Programming Language

29

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

14 years 2 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

26

ICFP
1998
ACM

98views Programming Languages» more ICFP 1998»

Modular Object-Oriented Programming with Units and Mixins

14 years 2 months ago

Modular Object-Oriented Programming with Units and Mixins

Download www.ccs.neu.edu

Robert Bruce Findler, Matthew Flatt

claim paper

Read More »

35

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

14 years 2 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

23

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

14 years 2 months ago

Object-Oriented and Concurrent Program Design Issues in Ada 95

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

27

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

14 years 2 months ago

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

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