Search Sciweavers | Sciweavers

10666 search results - page 169 / 2134

» Quantum programming languages

click to vote

ICFP
2003
ACM

129views Programming Languages» more ICFP 2003»

Dependency-style generic Haskell

14 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

14 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

14 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

14 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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers