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 359 / 3686
»
Typing dynamic typing
Sort
relevance
views
votes
recent
update
View
thumb
title
128
click to vote
CONCUR
2010
Springer
162
views
Distributed And Parallel Com...
»
more
CONCUR 2010
»
Session Types as Intuitionistic Linear Propositions
15 years 7 months ago
Download
www.cs.cmu.edu
Luís Caires, Frank Pfenning
claim paper
Read More »
139
click to vote
FOIS
2010
130
views
Information Technology
»
more
FOIS 2010
»
Towards Ontological Correctness of Part-whole Relations with Dependent Types
15 years 7 months ago
Download
www.polytech.univ-savoie.fr
Richard Dapoigny, Patrick Barlatier
claim paper
Read More »
191
click to vote
GRC
2010
IEEE
212
views
Applied Computing
»
more
GRC 2010
»
Interval Type-2 Fuzzy Logic System versus Perceptual Computer: Similarities and Differences
15 years 7 months ago
Download
xanadu.cs.sjsu.edu
Jerry M. Mendel
claim paper
Read More »
156
Voted
GISCIENCE
2008
Springer
145
views
GIS
»
more
GISCIENCE 2008
»
New Data Types and Operations to Support Geo-streams
15 years 7 months ago
Download
www.cse.unt.edu
Yan Huang, Chengyang Zhang
claim paper
Read More »
141
click to vote
HASKELL
2008
ACM
124
views
Programming Languages
»
more
HASKELL 2008
»
Haskell session types with (almost) no class
15 years 7 months ago
Download
www.ccs.neu.edu
Riccardo Pucella, Jesse A. Tov
claim paper
Read More »
« Prev
« First
page 359 / 3686
Last »
Next »