Search Sciweavers | Sciweavers

2646 search results - page 45 / 530

» Local Type Inference

115

click to vote

CIE
2008
Springer

115views Applied Computing» more CIE 2008»

Interpreting Localized Computational Effects Using Operators of Higher Type

15 years 4 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 »

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 7 months ago

Download www.dsi.unive.it

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

claim paper

Read More »

click to vote

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 7 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

130

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 2 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 »

click to vote

CONCURRENCY
2000

96views more CONCURRENCY 2000»

Locality optimization in JavaParty by means of static type analysis

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers