Search Sciweavers | Sciweavers

680 search results - page 28 / 136

» Types for the Ambient Calculus

146

click to vote

CORR
2006
Springer

135views Education» more CORR 2006»

The Calculus of Algebraic Constructions

15 years 4 months ago

Download www-rocq.inria.fr

: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

105

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 10 months ago

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

claim paper

Read More »

108

click to vote

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 9 months ago

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

15 years 8 months ago

Download www.cs.ucla.edu

Andrew K. Wright, Suresh Jagannathan, Cristian Ung...

claim paper

Read More »

104

click to vote

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers