Sciweavers

150 search results - page 2 / 30

» types 1995

10

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

13 years 8 months ago

Third-Order Matching in the Presence of Type Constructors

Download igitur-archive.library.uu.nl

Jan Springintveld

claim paper

Read More »

16

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

13 years 8 months ago

Specification Structures and Propositions-as-Types for Concurrency

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

18

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

13 years 8 months ago

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

12

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

13 years 8 months ago

Sound Polymorphic Type Inference for Objects

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

13

FPGA
1995
ACM

107views FPGA» more FPGA 1995»

Multi-way System Partitioning into a Single Type or Multiple Types of FPGAs

13 years 8 months ago

Multi-way System Partitioning into a Single Type or Multiple Types of FPGAs

Download vlsicad.ucsd.edu

This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...

Dennis J.-H. Huang, Andrew B. Kahng

claim paper

Read More »

« Prev « First page 2 / 30 Last » Next »