Sciweavers

5451 search results - page 32 / 1091

» Typed Operational Semantics

21

EDBT
1994
ACM

95views Database» more EDBT 1994»

Type Derivation Using the Projection Operation

13 years 11 months ago

Type Derivation Using the Projection Operation

Download rakesh.agrawal-family.com

Rakesh Agrawal, Linda G. DeMichiel

claim paper

Read More »

20

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

13 years 11 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

21

GISCIENCE
2008
Springer

145views GIS» more GISCIENCE 2008»

New Data Types and Operations to Support Geo-streams

13 years 8 months ago

New Data Types and Operations to Support Geo-streams

Download www.cse.unt.edu

Yan Huang, Chengyang Zhang

claim paper

Read More »

11

MLQ
2006

68views more MLQ 2006»

On the proof theory of type two functionals based on primitive recursive operations

13 years 7 months ago

On the proof theory of type two functionals based on primitive recursive operations

Download www.iam.unibe.ch

This paper is a companion to work of Feferman, J

David Steiner, Thomas Strahm

claim paper

Read More »

16

ECCC
1998

55views more ECCC 1998»

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

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

« Prev « First page 32 / 1091 Last » Next »