Search Sciweavers | Sciweavers

1392 search results - page 27 / 279

» Staging generic programming

click to vote

PEPM
2010
ACM

135views Software Engineering» more PEPM 2010»

Corrective hints for type incorrect generic Java programs

15 years 7 months ago

Download www.cs.uu.nl

Nabil El Boustani, Jurriaan Hage

claim paper

Read More »

click to vote

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

15 years 5 months ago

Download www.cs.uu.nl

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

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 4 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

85views Security Privacy» more OOPSLA 2004»

Converting java programs to use generic libraries

15 years 4 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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers