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
10666
search results - page 244 / 2134
»
Quantum programming languages
Sort
relevance
views
votes
recent
update
View
thumb
title
124
click to vote
ICALP
1991
Springer
88
views
Programming Languages
»
more
ICALP 1991
»
Ray Shooting in Polygons Using Geodesic Triangulations
15 years 10 months ago
Download
www.cs.princeton.edu
Bernard Chazelle, Herbert Edelsbrunner, Michelange...
claim paper
Read More »
115
click to vote
IFIP
1991
Springer
74
views
Programming Languages
»
more
IFIP 1991
»
Supporting Designers' Access to Information through Virtually Structured Hypermedia
15 years 10 months ago
Download
www.csdl.tamu.edu
Raymond McCall, Jonathan L. Ostwald, Frank M. Ship...
claim paper
Read More »
144
click to vote
ERLANG
2008
ACM
94
views
Programming Languages
»
more
ERLANG 2008
»
Refactoring module structure
15 years 8 months ago
Download
www.erlang.org
László Lövei, Csaba Hoch, Hanna...
claim paper
Read More »
117
click to vote
ICFP
2010
ACM
100
views
Programming Languages
»
more
ICFP 2010
»
Semantic subtyping with an SMT solver
15 years 7 months ago
Download
research.microsoft.com
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu...
claim paper
Read More »
125
click to vote
ICFP
2010
ACM
114
views
Programming Languages
»
more
ICFP 2010
»
Specifying and verifying sparse matrix codes
15 years 7 months ago
Download
www.eecs.berkeley.edu
Gilad Arnold, Johannes Hölzl, Ali Sinan K&oum...
claim paper
Read More »
« Prev
« First
page 244 / 2134
Last »
Next »
