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
18429
search results - page 336 / 3686
»
Typing dynamic typing
Sort
relevance
views
votes
recent
update
View
thumb
title
135
click to vote
DBPL
1989
Springer
82
views
Database
»
more
DBPL 1989
»
Can Object-Oriented Databases be Statically Typed?
15 years 10 months ago
Download
www.pllab.riec.tohoku.ac.jp
Val Tannen, Peter Buneman, Atsushi Ohori
claim paper
Read More »
93
click to vote
EUROCRYPT
1989
Springer
68
views
Cryptology
»
more
EUROCRYPT 1989
»
On the Design of Permutation P in DES Type Cryptosystems
15 years 10 months ago
Download
www.uow.edu.au
Lawrence Brown, Jennifer Seberry
claim paper
Read More »
131
click to vote
LICS
1990
IEEE
73
views
Automated Reasoning
»
more
LICS 1990
»
A Per Model of Polymorphism and Recursive Types
15 years 10 months ago
Download
www.era.lib.ed.ac.uk
Martín Abadi, Gordon D. Plotkin
claim paper
Read More »
147
click to vote
OOPSLA
1990
Springer
73
views
Security Privacy
»
more
OOPSLA 1990
»
Strong Typing of Object-Oriented Languages Revisited
15 years 10 months ago
Download
www.daimi.au.dk
Ole Lehrmann Madsen, Boris Magnusson, Birger M&osl...
claim paper
Read More »
139
click to vote
POS
1990
Springer
138
views
Programming Languages
»
more
POS 1990
»
Type Equivalence Checking in Persistent Object Systems
15 years 10 months ago
Download
www.cs.st-andrews.ac.uk
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
claim paper
Read More »
« Prev
« First
page 336 / 3686
Last »
Next »