Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
18
search results - page 1 / 4
»
lics 2000
Sort
relevance
views
votes
recent
update
View
thumb
title
19
click to vote
LICS
2000
IEEE
90
views
Automated Reasoning
»
more
LICS 2000
»
Imperative Programming with Dependent Types
13 years 10 months ago
Download
www.ats-lang.org
Hongwei Xi
claim paper
Read More »
15
click to vote
LICS
2000
IEEE
106
views
Automated Reasoning
»
more
LICS 2000
»
Assigning Types to Processes
13 years 10 months ago
Download
www.cogs.susx.ac.uk
Nobuko Yoshida, Matthew Hennessy
claim paper
Read More »
13
click to vote
LICS
2000
IEEE
85
views
Automated Reasoning
»
more
LICS 2000
»
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
13 years 10 months ago
Download
math.ucsd.edu
Samuel R. Buss, Bruce M. Kapron
claim paper
Read More »
10
click to vote
LICS
2000
IEEE
113
views
Automated Reasoning
»
more
LICS 2000
»
View-Based Query Processing and Constraint Satisfaction
13 years 10 months ago
Download
www.inf.unibz.it
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
claim paper
Read More »
15
click to vote
LICS
2000
IEEE
98
views
Automated Reasoning
»
more
LICS 2000
»
Game Semantics and Subtyping
13 years 10 months ago
Download
www.pps.jussieu.fr
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek
claim paper
Read More »
« Prev
« First
page 1 / 4
Last »
Next »