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
2335
search results - page 26 / 467
»
Type Checking Type Classes
Sort
relevance
views
votes
recent
update
View
thumb
title
80
click to vote
CSL
2009
Springer
104
views
Automated Reasoning
»
more
CSL 2009
»
Efficient Type-Checking for Amortised Heap-Space Analysis
15 years 9 months ago
Download
www.lama.univ-savoie.fr
Martin Hofmann, Dulma Rodriguez
claim paper
Read More »
104
click to vote
LOPSTR
2001
Springer
116
views
Automated Reasoning
»
more
LOPSTR 2001
»
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
15 years 7 months ago
Download
eprints.ecs.soton.ac.uk
Michael Leuschel, Stefan Gruner
claim paper
Read More »
122
click to vote
WCRE
1999
IEEE
142
views
Software Engineering
»
more
WCRE 1999
»
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
15 years 7 months ago
Download
scg.unibe.ch
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
claim paper
Read More »
95
click to vote
POS
1990
Springer
138
views
Programming Languages
»
more
POS 1990
»
Type Equivalence Checking in Persistent Object Systems
15 years 7 months ago
Download
www.cs.st-andrews.ac.uk
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
claim paper
Read More »
94
click to vote
SAS
1994
Springer
86
views
Formal Methods
»
more
SAS 1994
»
Directional Type Checking of Logic Programs
15 years 6 months ago
Download
www.eecs.berkeley.edu
Alexander Aiken, T. K. Lakshman
claim paper
Read More »
« Prev
« First
page 26 / 467
Last »
Next »