Search Sciweavers | Sciweavers

1392 search results - page 27 / 279

» Staging generic programming

111

click to vote

PEPM
2010
ACM

135views Software Engineering» more PEPM 2010»

Corrective hints for type incorrect generic Java programs

16 years 28 days ago

Download www.cs.uu.nl

Nabil El Boustani, Jurriaan Hage

claim paper

Read More »

121

click to vote

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

15 years 10 months ago

Download www.cs.uu.nl

Johan Jeuring, Sean Leather, José Pedro Mag...

claim paper

Read More »

108

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 9 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

102

Voted

OOPSLA
2004
Springer

85views Security Privacy» more OOPSLA 2004»

Converting java programs to use generic libraries

15 years 9 months ago

Download people.csail.mit.edu

Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Mi...

claim paper

Read More »

click to vote

SIGCSE
2003
ACM

191views Education» more SIGCSE 2003»

A generic e-learning multiparadigm programming language system: IDEFIX project

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers