|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 742 occurrences of 320 keywords
|
|
|
Results
Found 902 publication records. Showing 902 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Bidirectional data-flow analyses, type-systematically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 141-150, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics |
17 | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 126-146, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Christian Skalka, Scott F. Smith 0001 |
History Effects and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 107-128, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Robert Kießling, Zhaohui Luo |
Coercions in Hindley-Milner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 259-275, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Dominic Duggan |
Object type constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(6), pp. 367-408, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Haruo Hosoya, Benjamin C. Pierce |
Regular expression pattern matching for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 67-80, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML |
17 | Ken-etsu Fujita, Aleksy Schubert |
Partially Typed Terms between Church-Style and Curry-Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 505-520, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(2), pp. 109-138, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, Haskell, types, type classes |
17 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 241-256, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Nipkow, Christian Prehofer |
Type Checking Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 409-418, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Haskell |
17 | Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta 0001 |
BALBOA: a component-based design environment for system models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(12), pp. 1597-1612, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers |
Let should not be generalized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 39-50, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
type families, haskell, type inference, type classes, generalized algebraic data types |
17 | Claus Brabrand, Jakob G. Thomsen |
Typed and unambiguous pattern matching on strings using regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 243-254, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation |
17 | Dario Colazzo, Carlo Sartiani |
Detection of corrupted schema mappings in XML data integration systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 9(4), pp. 14:1-14:53, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mapping correctness, XML, data integration, type systems, p2p systems, type inference, data exchange |
17 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer |
Types for atomicity: Static checking and inference for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 20:1-20:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, concurrent programs, type inference, Atomicity |
17 | Chun-Yu Shei, Arun Chauhan 0001 |
Compile-Time Disambiguation of MATLAB Types through Concrete Interpretation with Automatic Run-Time Fallback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, pp. 358-359, 2008, IEEE Computer Society, 978-1-4244-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
octave, compiler, type inference, MATLAB, constant propagation |
17 | Marco Comini, Ferruccio Damiani, Samuel Vrech |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 144-158, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Type Inference Algorithm, Principal Typing |
17 | Lunjin Lu |
Inferring precise polymorphic type dependencies in logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 143-151, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type dependency, logic programs, abstract interpretation, type inference |
17 | László Gál, János Botzheim, László T. Kóczy |
Modified bacterial memetic algorithm used for fuzzy rule base extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 425-431, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
BMA with the modified operator execution order, Mamdani-type inference systems, bacterial memetic algorithm (BMA), knot order violation handling, modified BMA (MBMA), fuzzy systems, Levenberg-Marquardt method |
17 | Mark P. Jones, Iavor S. Diatchki |
Language and program design for functional dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 87-98, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type functions, relational databases, haskell, type inference, functional dependencies, qualified types |
17 | Vincent Simonet, François Pottier |
A constraint-based approach to guarded algebraic data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(1), pp. 1, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GADTs, Generalized algebraic data types, constraint-based type inference |
17 | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis Mutandis: Safe and predictable dynamic software updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(4), pp. 22, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Proteus, updateability analysis, type inference, capability, Dynamic software updating |
17 | Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren |
A crash course on database queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 143-154, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra |
17 | Martín Abadi, Cormac Flanagan, Stephen N. Freund |
Types for safe locking: Static race detection for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(2), pp. 207-255, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type system, Concurrent programs, type inference, race conditions |
17 | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001 |
Resource usage analysis for a functional language with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 38-47, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
resource usage analysis, type system, type inference, exception, effect system |
17 | Friedrich Steimann, Philip Mayer, Andreas Meissner |
Decoupling classes with inferred interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1404-1408, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interface-based programming, refactoring, type inference |
17 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 125-139, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
17 | Keiko Nakata 0001, Jacques Garrigue |
Recursive modules for programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 74-86, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
17 | Benjamin S. Lerner, Dan Grossman, Craig Chambers |
Seminal: searching for ML type-error messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 63-73, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
17 | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
LOCKSMITH: context-sensitive correlation analysis for race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 320-331, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming |
17 | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
Dynamic inference of abstract types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 255-265, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units |
17 | Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha |
Semantics-based reverse engineering of object-oriented data models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 192-201, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
program understanding, type inference |
17 | Atsushi Igarashi, Naoki Kobayashi 0001 |
Resource usage analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(2), pp. 264-313, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type inference, Resource usage |
17 | Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller |
Generics-related refactorings in eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 170, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types |
17 | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis mutandis: safe and predictable dynamic software updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 183-194, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
proteus, updateability analysis, type inference, capability, dynamic software updating |
17 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
Associated type synonyms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 241-253, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
associated types, type functions, type inference, generic programming, type classes |
17 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
Synchronization of periodic clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 339-342, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction |
17 | Adam Chlipala, Leaf Petersen, Robert Harper 0001 |
Strict bidirectional type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 71-78, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
strict logic, type inference, type theory |
17 | Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks |
Transparent proxies for java futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 206-223, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, type inference, proxy, future, type qualifier |
17 | Daniel von Dincklage, Amer Diwan |
Converting Java classes to use generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 1-14, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
generics, type inference, parametric polymorphism |
17 | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
Converting java programs to use generic libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 15-34, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types |
17 | Ferruccio Damiani |
Rank 2 intersection types for local definitions and conditional expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(4), pp. 401-451, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Type inference, principal typings |
17 | Didier Le Botlan, Didier Rémy |
MLF: raising ML to the power of system F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 27-38, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F |
17 | Ferruccio Damiani |
Rank 2 intersection types for modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 67-78, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
type inference, separate compilation, principal typings |
17 | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
Alias annotations for program understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 311-330, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness |
17 | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard |
Exception analysis for non-strict languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 98-109, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems |
17 | Tomoyuki Higuchi, Atsushi Ohori |
Java bytecode as a typed term calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 201-211, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, type system, type inference, Java bytecode |
17 | Daniel Jackson 0001, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(2), pp. 156-169, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram |
17 | Todd B. Knoblock, Jakob Rehof |
Type elaboration and subtype completion for Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(2), pp. 243-272, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language |
17 | Arie van Deursen, Leon Moonen |
Exploring Legacy Systems using Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 32-41, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
variable usage, Software maintenance, program analysis, hypertext, program understanding, type inference, documentation generation |
17 | Eric Violard |
Typechecking of PEI Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 521-529, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Data Parallelism and automatic parallelization, Parallel computation, Type inference, Semantics of programming languages |
17 | Atsushi Ohori |
A Polymorphic Record Calculus and Its Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(6), pp. 844-895, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
record calculus, compilation, polymorphism, type inference, type theory |
17 | Witold Charatonik, Leszek Pacholski |
Set constraints with projections are in NEXPTIME ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 642-653, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints |
17 | Fritz Henglein, Jesper Jørgensen |
Formally Optimal Boxing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 213-226, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
representation analysis, polymorphism, type inference |
17 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Inference of Partial Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 363-371, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
partial types, heterogeneous lists, persistent data, exponential time algorithm, type inference, decidability, lambda -calculus, recursive types, finite automaton, type constraints |
17 | Prateek Mishra, Uday S. Reddy |
Declaration-Free Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985, pp. 7-21, 1985, ACM Press, 0-89791-147-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
equational languages, regular trees, solving inequations, type inference |
16 | Maurizio Cimadamore, Mirko Viroli |
Integrating Java and Prolog through generic methods and type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 198-205, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, prolog, generics, wildcards, multiparadigm |
16 | José M. Claver, Germán León |
High Level Power Optimization by Type Inference on the Generation of Application Specific Circuits on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 629-632, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Stijn Vansummeren |
Type inference for unique pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(3), pp. 389-428, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
disambiguation policies, XML, programming languages, Pattern matching |
16 | François Pottier, Yann Régis-Gianas |
Stratified type inference for generalized algebraic data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 232-244, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Steven Alexander Spoon, Olin Shivers |
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 51-74, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Morten Heine Sørensen, Jens P. Secher |
From Type Inference to Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 436-472, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Cordelia V. Hall |
Using Hindley-Milner Type Inference to Optimise List Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 162-172, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | David Eichmann |
Type inference and the Algebra of qualified relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 352-356, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Robert S. Sutor, Richard D. Jenks |
The type inference and coercion facilities in the scratchpad II interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 56-63, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
SCRATCHPAD |
16 | Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo 0001, Qirun Zhang, Michael R. Lyu |
Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 2019-2030, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Pierrick Couderc |
Vérification des résultats de l'inférence de types du langage OCaml. (Checking type inference results of the OCaml language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
16 | Pascal Zimmer |
Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
16 | Takashi Mitsuishi, Katsumi Wasaki, Keiji Ohkubo, Jun Kawabe, Yasuiiari Shidama |
Fuzzy optimal control using simple inference method and function type inference method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2000, Chicago, Illinois, USA, 28-30 June, 2000, pp. 1944-1948, 2000, IEEE, 0-7803-5519-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser |
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12637, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser |
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 431-459, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Gonglin Li |
An Affine Type System with Hindley-Milner Style Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.17125, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Milod Kazerounian, Jeffrey S. Foster, Bonan Min |
SimTyper: sound type inference for Ruby using type equality prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(OOPSLA), pp. 1-27, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nevena Milojkovic, Mohammad Ghafari, Oscar Nierstrasz |
Exploiting type hints in method argument names to improve lightweight type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 77-87, 2017, IEEE Computer Society, 978-1-5386-0535-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Pietro Abate |
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 289-302, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Deutch, Tova Milo |
Type inference and type checking for queries over execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 21(1), pp. 51-68, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alastair F. Donaldson, Simon J. Gay |
Type inference and strong static type checking for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 75(11), pp. 1165-1191, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Hannes Mehnert |
Extending Dylan's type system for better type inference and error detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 1-10, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gérard Boudol |
On strong normalization and type inference in the intersection type discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 63-81, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Deutch, Tova Milo |
Type inference and type checking for queries on execution traces. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 1(1), pp. 352-363, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Stijn Vansummeren |
Well-definedness, semantic type-checking and type inference for database query languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
16 | Luigi Liquori, Benjamin Wack |
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 89-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Gérard Boudol, Pascal Zimmer |
On Type Inference in the Intersection Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 23-42, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Lunjin Lu, Andy King |
Backward Type Inference Generalises Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 85-101, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mario Coppo |
Type Inference with Recursive Type Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 184-198, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
type assignment, Recursive types |
16 | Paula Severi |
Type Inference for Pure Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 143(1), pp. 1-23, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | John Hughes |
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Partial Evaluation ![In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers, pp. 183-215, 1996, Springer, 3-540-61580-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ole Agesen, Urs Hölzle |
Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995, Austin, Texas, USA, October 15-19, 1995., pp. 91-107, 1995, ACM, 0-89791-703-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Paola Giannini, Simona Ronchi Della Rocca |
A Type Inference Algorithm for a Stratified Polymorphic Type Discipline ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 109(1/2), pp. 115-173, February/March 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Aiken, Edward L. Wimmers |
Type Inclusion Constraints and Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 31-41, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Paola Giannini, Simona Ronchi Della Rocca |
Type Inference in Polymorphic Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 18-37, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Blott |
Type Inference and Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK, pp. 254-265, 1989, Springer, 3-540-19609-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Justin O. Graver |
Type checking and type inference for object-oriented programming languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
16 | Takuya Katayama |
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 263-272, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | John Mitchell |
Type Inference and Type Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Data Types ![In: Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings, pp. 257-277, 1984, Springer, 3-540-13346-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(3), pp. 477-526, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pointer qualifier, libraries, subtyping, Memory safety |
15 | C. Barry Jay |
The pattern calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(6), pp. 911-937, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming |
15 | Sriram K. Rajamani, Jakob Rehof |
A Behavioral Module System for the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 375-394, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Zimmer |
Subtyping and Typing Algorithms for Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 375-390, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | John Hughes 0001 |
The Correctness of Type Specialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 215-229, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 902 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|