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

15 years 10 months ago

Download www.cs.uu.nl

Andres Löh, Dave Clarke, Johan Jeuring

claim paper

Read More »

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

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

15 years 10 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

15 years 10 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

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers