Search Sciweavers | Sciweavers

2646 search results - page 45 / 530

» Local Type Inference

132

click to vote

CIE
2008
Springer

115views Applied Computing» more CIE 2008»

Interpreting Localized Computational Effects Using Operators of Higher Type

15 years 7 months ago

Download homepages.inf.ed.ac.uk

d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...

John Longley

claim paper

Read More »

121

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 10 months ago

Download www.dsi.unive.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...

claim paper

Read More »

111

Voted

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 10 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

154

click to vote

BMCBI
2008

149views more BMCBI 2008»

Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s

15 years 5 months ago

Download www.biomedcentral.com

Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...

Olivier Bastien, Eric Maréchal

claim paper

Read More »

113

click to vote

CONCURRENCY
2000

96views more CONCURRENCY 2000»

Locality optimization in JavaParty by means of static type analysis

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers