Search Sciweavers | Sciweavers

10575 search results - page 145 / 2115

» Programming Languages

click to vote

ICFP
2003
ACM

129views Programming Languages» more ICFP 2003»

Dependency-style generic Haskell

16 years 2 months ago

Download www.cs.uu.nl

Andres Löh, Dave Clarke, Johan Jeuring

claim paper

Read More »

120

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

16 years 2 months ago

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

click to vote

ICFP
2002
ACM

95views Programming Languages» more ICFP 2002»

Modular typechecking for hierarchically extensible datatypes and functions

16 years 2 months ago

Download www.cs.ucla.edu

Todd D. Millstein, Colin Bleckner, Craig Chambers

claim paper

Read More »

click to vote

ICFP
2002
ACM

76views Programming Languages» more ICFP 2002»

An interoperable calculus for external object access

16 years 2 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori, Kiyoshi Yamatodani

claim paper

Read More »

click to vote

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Type-Based Hot Swapping of Running Modules

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers