Search Sciweavers | Sciweavers

10575 search results - page 157 / 2115

» Programming Languages

127

click to vote

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

15 years 10 months ago

Download www.cis.upenn.edu

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

claim paper

Read More »

127

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

15 years 10 months ago

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

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

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

claim paper

Read More »

138

click to vote

PLDI
2000
ACM

123views Programming Languages» more PLDI 2000»

Bitwidth analysis with application to silicon compilation

15 years 10 months ago

Download publications.csail.mit.edu

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

claim paper

Read More »

132

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 10 months ago

Download research.microsoft.com

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

claim paper

Read More »

121

click to vote

TOOLS
1999
IEEE

73views Programming Languages» more TOOLS 1999»

Constructing Interoperable Components in Distributed Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers