Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Andrew D. Gordon 0001, Hans Hüttel, René Rydhof Hansen |
Type Inference for Correspondence Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo@CONCUR ![In: Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008, pp. 21-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Martin Sulzmann, Peter J. Stuckey |
HM(X) type inference is CLP(X) solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 18(2), pp. 251-283, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 135-151, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Marco Gaboardi, Simona Ronchi Della Rocca |
Type Inference for a Polynomial Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 136-152, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Type Inference by Coinductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 1-18, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vincent Atassi, Patrick Baillot, Kazushige Terui |
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0710.1153, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Vincent Atassi, Patrick Baillot, Kazushige Terui |
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 3(4), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Cormac Flanagan, Stephen N. Freund |
Type inference against races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 64(1), pp. 140-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields |
Practical type inference for arbitrary-rank types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 17(1), pp. 1-82, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | George Kuan, David MacQueen, Robert Bruce Findler |
A Rewriting Semantics for Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 426-440, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Hannes Kegel, Friedrich Steimann |
ITCORE: A Type Inference Package for Refactoring Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRT ![In: 1st Workshop on Refactoring Tools, WRT 2007, in conjunction with 21st European Conference on Object-Oriented Programming, July 30 - August 03, 2007, Berlin, Germany, Proceedings, pp. 7-8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Type inference for polymorphic methods in Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings, pp. 118-129, 2007, World Scientific, 981-277-098-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
State of the Union: Type Inference Via Craig Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 553-567, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Andreas V. Hense |
Polymorphic type inference for object-oriented programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
11 | Bradley Lushman |
Direct and Expressive Type Inference for the Rank 2 Fragment of System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
11 | Martin Erwig |
Visual type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 17(2), pp. 161-186, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Lyon Anderson |
Type inference for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
11 | Peter J. Stuckey, Martin Sulzmann |
Type Inference for Guarded Recursive Data Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0507037, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Vijay Krishnan, Sujatha Das, Soumen Chakrabarti |
Enhanced Answer Type Inference from Questions using Sequential Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT/EMNLP ![In: HLT/EMNLP 2005, Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference, 6-8 October 2005, Vancouver, British Columbia, Canada, pp. 315-322, 2005, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Christopher Anderson, Paola Giannini, Sophia Drossopoulou |
Towards Type Inference for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 428-452, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Steven Alexander Spoon |
Demand-Driven Type Inference with Subgoal Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
11 | Sébastien Carlier, J. B. Wells |
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. ![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. 173-202, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Elio Giovannetti |
Type Inference for Mobile Ambients in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004, pp. 96-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Baillot |
Type inference for light affine logic via constraints on words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 328(3), pp. 289-323, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | A. J. Kfoury, J. B. Wells |
Principality and type inference for intersection types using expansion variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 1-70, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Cédric Lhoussaine |
Type inference for a distributed \pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 50(1-3), pp. 225-251, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Tian Zhao 0002 |
Type inference for record concatenation and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 189(1), pp. 54-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Robert Johnson, David A. Wagner 0001 |
Finding User/Kernel Pointer Bugs with Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, pp. 119-134, 2004, USENIX. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001 |
A Behavioral Type Inference System for Compositional System-on-Chip Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 47-56, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Nathan Linger, Tim Sheard |
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 266-279, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Rahul Agarwal, Scott D. Stoller |
Type Inference for Parameterized Race-Free Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 149-160, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Eric P. Xing, Roded Sharan, Michael I. Jordan |
Bayesian haplo-type inference via the dirichlet process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-first International Conference (ICML 2004), Banff, Alberta, Canada, July 4-8, 2004, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Hyunjun Eo, Oukseh Lee, Kwangkeun Yi |
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 22(1), pp. 1-36, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão 0001 |
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 9(8), pp. 873-890, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Paolo Coppola 0001, Simone Martini 0001 |
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0305011, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine |
Trading-Off Type-Inference Memory Complexity Against Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2003, pp. 140, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Pramod G. Joisha, Prithviraj Banerjee |
The MAGICA Type Inference Engine for MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 121-125, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Premkumar T. Devanbu, Michael Gertz 0001, Brian Toone |
Static Type-Inference for Trust in Distributed Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 370-388, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Sébastien Carlier |
Polar Type Inference with Intersection Types and omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 37-52, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Mario Coppo, Ferruccio Damiani, Paola Giannini |
Strictness, totality, and non-standard-type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 272(1-2), pp. 69-112, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jan Van den Bussche, Emmanuel Waller |
Polymorphic Type Inference for the Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 64(3), pp. 694-718, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Michele Bugliesi, Santiago M. Pericás-Geertsen |
Type Inference for Variant Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 177(1), pp. 2-27, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Claudio Vaucheret, Francisco Bueno |
More Precise Yet Efficient Type Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 63-76, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
11 | Claudio Vaucheret, Francisco Bueno |
More Precise Yet Efficient Type Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 102-116, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone |
A Type Inference Algorithm for Secure Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 83-101, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Sandra Alves, Mário Florido |
Type Inference using Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 56-72, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Raymond Turner |
Type inference for set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 266(1-2), pp. 951-974, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jan Van den Bussche, Emmanuel Waller |
Polymorphic type inference for the relational algebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0106035, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Jacques Garrigue |
Simple Type Inference for Structural Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, pp. 329-343, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Manfred Widera, Christoph Beierle |
Function Types in Complete Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scottish Functional Programming Workshop ![In: Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001, pp. 111-122, 2001, Intellect, 1-84150-070-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Manfred Widera |
Complete type inference in functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
11 | Rebecca Walpole Djang, Margaret M. Burnett, Roger D. Chen |
Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 11(2), pp. 191-235, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Martin Müller, Susumu Nishimura |
Type Inference for First-Class Messages with Feature Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 11(1), pp. 29-63, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Shin-ya Nishizaki |
A Polymorphic Environment Calculus and its Type-Inference Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 13(3), pp. 239-278, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | François Pottier |
A Versatile Constraint-Based Type Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 7(4), pp. 312-347, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Oukseh Lee, Kwangkeun Yi |
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings, pp. 79-88, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Georg Ringwelski, Hans Schlenker |
Type Inference in CHR Programs for the Composition of Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 137-146, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Bruce J. McAdam, Andrew Kennedy, Nick Benton |
Type inference for MLj. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scottish Functional Programming Workshop ![In: Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, pp. 159-172, 2000, Intellect, 1-84150-058-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Olaf Chitil |
Type-inference based deforestation of functional programs. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
11 | Martin Odersky, Martin Sulzmann, Martin Wehr |
Type Inference with Constrained Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Object Syst. ![In: Theory Pract. Object Syst. 5(1), pp. 35-55, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
11 | Fritz Henglein |
Breaking Through the n3 Barrier: Faster Object Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Object Syst. ![In: Theory Pract. Object Syst. 5(1), pp. 57-72, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
11 | Catherine Dubois, Valérie Ménissier-Morain |
Certification of a Type Inference Tool for ML: Damas-Milner within Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 23(3-4), pp. 319-346, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang Naraschewski, Tobias Nipkow |
Type Inference Verified: Algorithm W in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 23(3-4), pp. 299-318, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Olaf Chitil |
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers, pp. 19-35, 1999, Springer, 3-540-67864-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | A. J. Kfoury, J. B. Wells |
Principality and Decidable Type Inference for Finite-Rank Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, pp. 161-174, 1999, ACM, 1-58113-095-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Jan Van den Bussche, Emmanuel Waller |
Type Inference in the Polymorphic Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA, pp. 80-90, 1999, ACM Press, 1-58113-062-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Tova Milo, Dan Suciu |
Type Inference for Queries on Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA, pp. 215-226, 1999, ACM Press, 1-58113-062-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Stephen Gilmore |
Deep Type Inference for Mobile Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scottish Functional Programming Workshop ![In: Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999, pp. 41-49, 1999, Intellect, 1-84150-024-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
11 | Carlos Camarão 0001, Lucília Figueiredo |
Type Inference for Overloading without Restrictions, Declarations or Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuji International Symposium on Functional and Logic Programming ![In: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, pp. 37-52, 1999, Springer, 3-540-66677-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Cedric Luiz de Carvalho, Eduardo Costa Pereira, Rita Maria da Silva Julia |
Type Inference in Logic Programming Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Proceedings of the 1st International Conference on Enterprise Information Systems, Setubal, Portugal, 27-30 March 1999, pp. 764, 1999, ICEIS Secretariat, Escola Superior de Tecnologia de Setúbal, Portugal. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
11 | Mark Shields, Tim Sheard, Simon L. Peyton Jones |
Dynamic Typing as Staged Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 289-302, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Application Builder |
11 | Aleksy Schubert |
Second-Order Unification and Type Inference for Church-Style Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 279-288, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Benjamin C. Pierce, David N. Turner |
Local Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 252-265, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ML |
11 | Pascal Rapicault, Mireille Blay-Fornarino, Stéphane Ducasse, Anne-Marie Dery |
Dynamic Type Inference to Support Object-Oriented Reenginerring in Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 76-77, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
11 | Arie van Deursen, Leon Moonen |
Type Inference for COBOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 5th Working Conference on Reverse Engineering, WCRE '98, Honolulu, Hawai, USA, October 12-14, 1998, pp. 220-230, 1998, IEEE Computer Society, 0-8186-8967-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | François Pottier |
A Framework for Type Inference with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 228-238, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Witold Charatonik, Andreas Podelski |
Directional Type Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 278-294, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Trevor Jim |
Type Inference with Simple Selftypes is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 4(2), pp. 259-286, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
11 | Jens Palsberg, Mitchell Wand, Patrick O'Keefe |
Type Inference with Non-Structural Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 9(1), pp. 49-67, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Pawel Pietrzak |
Type Inference for CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997, pp. 407, 1997, MIT Press, 0-262-63180-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
11 | Yahia Lebbah |
Consistency Checking by Type Inference and Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 253-264, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Mark P. Jones |
First-class Polymorphism with Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 483-496, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
11 | Suzanne Collin, Dominique Colnet, Olivier Zendra |
Type Inference for Late Binding: The SmallEiffel Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings, pp. 67-81, 1997, Springer, 3-540-62599-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Robert O'Callahan, Daniel Jackson 0001 |
Lackwit: A Program Understanding Tool Based on Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 338-348, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C, C, abstraction, representation, restructuring |
11 | Jan Gustafsson, Kjell Post, Jukka Mäki-Turja, Ellus Brorsson |
Benefits of type inference for an object-oriented real-time language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 7(1), pp. 28-35, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Dominic Duggan, Gordon V. Cormack, John Ophel |
Kinded Type Inference for Parametric Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 33(1), pp. 21-68, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg |
Type Inference for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 28(2), pp. 358-359, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Dominic Duggan, Frederick Bent |
Explaining Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 27(1), pp. 37-83, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Jesús Manuel Almendros-Jiménez |
Type Inference and Checking for POS-typed Funtional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, pp. 439-450, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
11 | Wolfgang Naraschewski, Tobias Nipkow |
Type Inference Verified: Algorithm W in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers, pp. 317-332, 1996, Springer, 3-540-65137-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Trevor Jim |
Principal typings and type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
11 | Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov |
Type inference for recursively constrained types and its application to OOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995, pp. 132-153, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari |
Type Inference for Turbo Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 16(4), pp. 160-169, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
11 | Chris Hankin, Daniel Le Métayer |
Lazy Type Inference and Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 25(2-3), pp. 219-249, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Michael I. Schwartzbach |
Safety Analysis versus Type Inference ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 118(1), pp. 128-141, April 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 25(9), pp. 975-995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Fritz Henglein, Jakob Rehof |
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 192-203, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Bruno Monsuez |
Using Abstract Interpretation to Define a Strictness Type Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 122-133, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov |
Sound Polymorphic Type Inference for Objects. ![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. 169-184, 1995, ACM, 0-89791-703-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Erik Barendsen, Sjaak Smetsers |
Uniqueness Type Inference ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 189-206, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|