Search Sciweavers | Sciweavers

18429 search results - page 323 / 3686

» Typing dynamic typing

145

click to vote

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

15 years 11 months ago

Download www.ats-lang.org

Hongwei Xi

claim paper

Read More »

147

click to vote

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

Assigning Types to Processes

15 years 11 months ago

Download www.cogs.susx.ac.uk

Nobuko Yoshida, Matthew Hennessy

claim paper

Read More »

136

click to vote

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

15 years 11 months ago

Download www.cis.upenn.edu

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

claim paper

Read More »

156

click to vote

ICFP
2000
ACM

122views Programming Languages» more ICFP 2000»

Static enforcement of security with types

15 years 11 months ago

Download www.cs.jhu.edu

A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac

Christian Skalka, Scott F. Smith

claim paper

Read More »

145

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers