Search Sciweavers | Sciweavers

10666 search results - page 181 / 2134

» Quantum programming languages

click to vote

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

14 years 2 months ago

Download www.cis.upenn.edu

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

claim paper

Read More »

click to vote

ICFP
2000
ACM

96views Programming Languages» more ICFP 2000»

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems

14 years 2 months ago

Download www.ipl.t.u-tokyo.ac.jp

ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...

Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhi...

claim paper

Read More »

click to vote

PLDI
2000
ACM

123views Programming Languages» more PLDI 2000»

Bitwidth analysis with application to silicon compilation

14 years 2 months ago

Download publications.csail.mit.edu

Mark Stephenson, Jonathan Babb, Saman P. Amarasing...

claim paper

Read More »

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

14 years 2 months ago

Download research.microsoft.com

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

73views Programming Languages» more TOOLS 1999»

Constructing Interoperable Components in Distributed Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers