Search Sciweavers | Sciweavers

493 search results - page 6 / 99

» types 1998

114

click to vote

SIGACT
1998

69views more SIGACT 1998»

Polymorphism, objects and abstract types

15 years 3 months ago

Download www.eecs.qmul.ac.uk

Peter W. O'Hearn

claim paper

Read More »

click to vote

TOPLAS
1998

62views more TOPLAS 1998»

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

15 years 3 months ago

Download www.cs.washington.edu

Oukseh Lee, Kwangkeun Yi

claim paper

Read More »

Voted

TOPLAS
1998

39views more TOPLAS 1998»

Equality-based flow analysis versus recursive types

15 years 3 months ago

Download www.cs.ucla.edu

Jens Palsberg

claim paper

Read More »

101

click to vote

ISLPED
1998
ACM

68views Hardware» more ISLPED 1998»

Power exploration for dynamic data types through virtual memory management refinement

15 years 8 months ago

Download bwrc.eecs.berkeley.edu

Julio Leao da Silva Jr., Francky Catthoor, Diederi...

claim paper

Read More »

111

click to vote

PODS
1998
ACM

104views Database» more PODS 1998»

Typed Query Languages for Databases Containing Queries

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers