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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10912
search results - page 134 / 2183
»
Object-Oriented Programming Languages
Sort
relevance
views
votes
recent
update
View
thumb
title
135
click to vote
ICFP
2001
ACM
114
views
Programming Languages
»
more
ICFP 2001
»
On Regions and Linear Types
16 years 6 months ago
Download
www.cs.princeton.edu
David Walker, Kevin Watkins
claim paper
Read More »
128
click to vote
ESOP
2010
Springer
167
views
Programming Languages
»
more
ESOP 2010
»
A theory of speculative computation
16 years 3 months ago
Download
moscova.inria.fr
Gérard Boudol, Gustavo Petri
claim paper
Read More »
129
click to vote
PADL
2010
Springer
138
views
Programming Languages
»
more
PADL 2010
»
Lazy Combinators for Executable Specifications of General Attribute Grammars
16 years 3 months ago
Download
cs.uwindsor.ca
Rahmatullah Hafiz, Richard A. Frost
claim paper
Read More »
131
click to vote
PADL
2010
Springer
158
views
Programming Languages
»
more
PADL 2010
»
An Introduction to Maude and Some of Its Applications
16 years 3 months ago
Download
maude.cs.uiuc.edu
Narciso Martí-Oliet
claim paper
Read More »
139
click to vote
POPL
2010
ACM
192
views
Programming Languages
»
more
POPL 2010
»
Type inference for datalog with complex type hierarchies
16 years 1 months ago
Download
www.datalog20.com
Max Schäfer, Oege de Moor
claim paper
Read More »
« Prev
« First
page 134 / 2183
Last »
Next »
