Sciweavers

150 search results - page 2 / 30

» types 1995

21

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

13 years 11 months ago

Third-Order Matching in the Presence of Type Constructors

Download igitur-archive.library.uu.nl

Jan Springintveld

claim paper

Read More »

23

BANFF
1995

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

Specification Structures and Propositions-as-Types for Concurrency

13 years 11 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 »

26

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

13 years 11 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 »

21

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

13 years 11 months ago

Sound Polymorphic Type Inference for Objects

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

22

FPGA
1995
ACM

107views FPGA» more FPGA 1995»

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

13 years 11 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 »