Sciweavers

2335 search results - page 30 / 467

» Type Checking Type Classes

20

ECCC
1998

55views more ECCC 1998»

Characterizing Small Depth and Small Space Classes by Operators of Higher Types

13 years 8 months ago

Characterizing Small Depth and Small Space Classes by Operators of Higher Types

Download www.cs.rutgers.edu

Manindra Agrawal, Eric Allender, Samir Datta, Heri...

claim paper

Read More »

48

NDJFL
2011

210views Computer Networks» more NDJFL 2011»

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

13 years 3 months ago

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

Download www.ml.kva.se

Tapani Hyttinen, Meeri Kesälä

claim paper

Read More »

27

HASKELL
2008
ACM

124views Programming Languages» more HASKELL 2008»

Haskell session types with (almost) no class

13 years 10 months ago

Haskell session types with (almost) no class

Download www.ccs.neu.edu

Riccardo Pucella, Jesse A. Tov

claim paper

Read More »

46

PLPV
2012
ACM

261views Programming Languages» more PLPV 2012»

LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs

12 years 4 months ago

LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs

Download ect.bell-labs.com

Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...

Alan Jeffrey

claim paper

Read More »

22

CSFW
2008
IEEE

84views Security Privacy» more CSFW 2008»

A Type System for Observational Determinism

14 years 3 months ago

A Type System for Observational Determinism

Download www.kb.ecei.tohoku.ac.jp

Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...

Tachio Terauchi

claim paper

Read More »

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