Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Sandeep Kumar, Dharma P. Agrawal, S. Purushothaman Iyer |
An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers and Run-Time Systems for Scalable Computers, Third Workshop, LCR 1995, Troy, NY, USA, May 1995, pp. 283-286, 1995, Springer, 978-1-4613-5979-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ole Agesen |
Concrete type inference: delivering object-oriented applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
11 | My Hoang |
Type inference and program evaluation in the presence of subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
11 | Satish R. Thatte |
Type Inference with Partial Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 124(1), pp. 127-148, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Fritz Henglein, Harry G. Mairson |
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 4(4), pp. 435-477, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Gordon D. Plotkin |
A Semantics for Static Type Inference ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 109(1/2), pp. 256-299, February/March 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Martín Abadi |
A Semantics for Static Type Inference in a Nondeterministic Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 109(1/2), pp. 300-306, February/March 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Andreas V. Hense |
Polymorphic type inference for object-oriented programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
11 | Simon Courtenage, Chris D. Clack |
Analysing Resource Use in the Lambda Calculus by Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings. Technical Report 94/9, pp. 33-41, 1994, University of Melbourne, Australia, Department of Computer Science. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
11 | John Plevyak, Andrew A. Chien |
Precise Concrete Type Inference for Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1994, Portland, Oregon, USA, October 23-27, 1994., pp. 324-340, 1994, ACM, 0-89791-688-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Adolfo Piperno, Simona Ronchi Della Rocca |
Type Inference and Extensionality ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 196-205, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Shin-ya Nishizaki |
ML with First-Class Environments and its Type Inference Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Language and Computation ![In: Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, pp. 95-116, 1994, Springer, 0-387-57935-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Ole Agesen |
Constraint-Based Type Inference and Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 78-100, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Tatsurou Sekiguchi, Akinori Yonezawa |
A Complete Type Inference System for Subtyped Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 667-686, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Michael I. Schwartzbach |
Binding-time Analysis: Abstract Interpretation versus Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France, pp. 277-288, 1994, IEEE Computer Society, 0-8186-5640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Christine Solnon, Michel Rueher |
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 199-214, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca |
Type Inference: Some Results, Some Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 19(1/2), pp. 87-125, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
11 | Lalita Jategaonkar, John C. Mitchell |
Type Inference with Extended Pattern Matching and Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 19(1/2), pp. 127-165, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
11 | Mario Coppo, Alberto Ferrari |
Type Inference, Abstract Interpretation and Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 121(1&2), pp. 113-143, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Marc-Michel Corsini, Kaninda Musumbu |
Type Inference in Prolog: A New Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 119(1), pp. 23-38, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Kind, Horst Friedrich |
A Practical Approach to Type Inference for EuLisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 6(1-2), pp. 159-176, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
11 | Dongwook Shin, Youngmin Chung, Hyunsoo Yoon |
Mode Based Type Inference for Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 239-243, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
11 | Geoffrey Smith 0001 |
Polymorphic Type Inference with Overloading and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 671-685, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Margaret M. Burnett |
Types and Type Inference in a Visual Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings of the 1993 IEEE Workshop on Visual Languages, August 24-27, 1993, Bergen, Norway, pp. 238-243, 1993, IEEE Computer Society, 0-8186-3970-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Michael I. Schwartzbach |
Safety Analysis Versus Type Inference for Partial Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 43(4), pp. 175-180, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Barbuti, Roberto Giacobazzi |
A Bottom-Up Polymorphic Type Inference in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 19(3), pp. 281-313, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Stuart M. Shieber |
Constraint-based grammar formalisms - parsing and type inference for natural and computer languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
11 | Xuequn Wu |
Correctly typing objects through subtyping and type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992, pp. 697-705, 1992, ACM, 0-89791-502-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Fritz Henglein |
Global Tagging Optimization by Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 205-215, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
11 | Richard Banach |
Simple Type Inference for Term Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 51-66, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Mario Coppo, Paola Giannini |
A Complete Type Inference Algorithm for Simple Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 102-123, 1992, Springer, 3-540-55251-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Konstantin Läufer |
Polymorphic Type Inference and Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
11 | John C. Mitchell |
Type Inference With Simple Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 1(3), pp. 245-285, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand |
Type Inference for Record Concatenation and Multiple Inheritance ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 93(1), pp. 1-15, July 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Felice Cardone, Mario Coppo |
Type Inference with Recursive Types: Syntax and Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 92(1), pp. 48-80, May 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Fritz Henglein |
Efficient Type Inference for Higher-Order Binding-Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 448-472, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Wesley W. Chu, Rei-Chi Lee, Qiming Chen |
Using Type Inference and Induced Rules to Provide Intensional Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Seventh International Conference on Data Engineering, April 8-12, 1991, Kobe, Japan, pp. 396-403, 1991, IEEE Computer Society, 0-8186-2138-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Jens Palsberg, Michael I. Schwartzbach |
Object-Oriented Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991, Phoenix, Arizona, USA, October 6-11, 1991., pp. 146-161, 1991, ACM, 0-201-55417-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Alfons Kemper, Guido Moerkotte |
A Framework for Strong Typing and Type Inference in (Persistent) Object Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Proceedings of the International Conference on Database and Expert Systems Applications, Berlin, Germany, 1991., pp. 257-263, 1991, Springer-Verlag, Wien, 3-211-82301-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
11 | Alexander Aiken, Brian R. Murphy |
Static Type Inference in a Dynamically Typed Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, pp. 279-290, 1991, ACM Press, 0-89791-419-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Fritz Henglein, Harry G. Mairson |
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, pp. 119-130, 1991, ACM Press, 0-89791-419-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
ML |
11 | Xavier Leroy, Pierre Weis |
Polymorphic Type Inference and Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, pp. 291-302, 1991, ACM Press, 0-89791-419-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
ML |
11 | Enrique V. Kortright |
Model verification in λσ: a type inference approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 24th Annual Simulation Symposium (ANSS-24 1991), New Orleans, Loisiana, USA, 1991, pp. 283-289, 1991, IEEE Computer Society, 0-8186-2169-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Hammond |
Efficient Type Inference Using Monads (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991, pp. 146-157, 1991, Springer, 3-540-19760-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Cordelia V. Hall |
Strictness Analysis Using Hindley-Milner Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991, pp. 128-133, 1991, Springer, 3-540-19760-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Sandiway Fong |
Principle-Based Parsing and Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Understanding and Logic Programming Workshop ![In: Natural Language Understanding and Logic Programming, III, Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991., pp. 43-60, 1991, North-Holland, 0-444-89149-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
11 | Geoffrey Smith |
Polymorphic Type Inference for Languages with Overloading and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
11 | You-Chin Fuh, Prateek Mishra |
Type Inference with Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 73(2), pp. 155-175, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Mads Tofte |
Type Inference for Polymorphic References ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 89(1), pp. 1-34, November 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Kwan-Liu Ma, Robert R. Kessler |
TICL-A Type Inference System for Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 20(6), pp. 593-623, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | J. Michael Spivey, Bernard Sufrin |
Type Inference in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 426-451, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Carsten K. Gomard |
Partial Type Inference for Untyped Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 282-287, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Satish Thatté |
Type Inference and Implicit Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 406-420, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Susan Even, David A. Schmidt |
Type Inference for Action Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 118-133, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Jerzy Tiuryn |
Type Inference Problems: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 105-120, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Thomas P. Jensen |
Abstract Interpretation vs. Type Inference A Topological Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990, pp. 141-145, 1990, Springer, 978-3-540-19667-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand, Patrick O'Keefe |
On the Complexity of Type Inference with Coercion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 293-298, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Tsung-Min Kuo, Prateek Mishra |
Strictness Analysis: A New Perspective Based on Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 260-272, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Atsushi Ohori, Peter Buneman |
Static Type Inference for Parametric Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Conference on Object-Oriented Programming: Systems, Languages, and Applications, OOPSLA 1989, New Orleans, Louisiana, USA, October 1-6, 1989, Proceedings., pp. 445-456, 1989, ACM, 0-89791-333-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand |
Type Inference for Record Concatenation and Multiple Inheritance ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989, pp. 92-97, 1989, IEEE Computer Society, 0-8186-1954-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Atsushi Ohori, Peter Buneman, Val Tannen |
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 46-57, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | J. Michael Spivey, Bernard Sufrin |
Type Inference in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z User Workshop ![In: Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, pp. 6-31, 1989, Springer, 978-3-540-19627-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Stuart M. Shieber |
Parsing and type inference for natural and computer languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
11 | Janet A. Walz |
Extending Attribute Grammar and Type Inference Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
11 | John C. Mitchell |
Polymorphic Type Inference and Containment ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 76(2/3), pp. 211-249, February/March 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand |
Corrigendum: Complete Type Inference for Simple Objects ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988, pp. 132, 1988, IEEE Computer Society, 0-8186-0853-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Thom W. Frühwirth |
Type Inference by Program Transformation and Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 263-282, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
11 | Maarten H. van Emden |
Conditional Answers for Polymorphic Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 590-603, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
11 | Jiyang Xu, David Scott Warren |
A Type Inference System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 604-619, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
11 | Thom W. Frühwirth |
Type inference by program transformation and partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 347-354, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand |
Complete Type Inference for Simple Objects ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987, pp. 37-44, 1987, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
11 | Mario Coppo, Maddalena Zacchi |
Type inference and logical relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986, pp. 218-226, 1986, IEEE Computer Society, 0-8186-0720-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
11 | John C. Mitchell |
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 308-319, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Jacques Calmet, Hubert Comon, Denis Lugiez |
Type Inference Using Unification in Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings, pp. 25-28, 1986, Springer, 3-540-19200-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Hans-Juergen Boehm |
Partial Polymorphic Type Inference Is Undecidable ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 26th Annual Symposium on Foundations of Computer Science, Portland, Oregon, USA, 21-23 October 1985, pp. 339-345, 1985, IEEE Computer Society, 0-8186-0644-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
11 | Tadashi Kanamori, Kenji Horiuchi |
Type Inference in Prolog and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985, pp. 704-707, 1985, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
11 | John C. Mitchell |
Coercion and Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 175-185, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Letschert |
Type Inference in the Presence of Overloading, Polymorphism and Coercions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 58-70, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
10 | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Typing Component-Based Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 167-181, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |
Concoqtion: indexed types now! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 112-121, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Patrick Baillot |
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 2-7, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Regulating Data Exchange in Service Oriented Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 223-239, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta 0001 |
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(6), pp. 613-643, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, formal methods, program transformation, models of computation, Embedded system design |
10 | Bernd Braßel, Michael Hanus |
Nondeterminism Analysis of Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 265-279, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk |
Descriptive Typing Rules for Xcerpt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings, pp. 85-100, 2005, Springer, 3-540-28793-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
PType System: A Featherweight Parallelizability Detector. ![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. 197-212, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell |
Security by typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 472-495, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy |
10 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. ![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. 51-63, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CDuce, XML, type systems, XML-processing |
10 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 41-51, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
10 | Judicaël Courant |
Explicit Universes for the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 115-130, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Emmanuel Coquery, François Fages |
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 480, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
Region-Based Memory Management in Cyclone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 282-293, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Rogardt Heldal, John Hughes 0001 |
Binding-Time Analysis for Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 191-204, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | C. Barry Jay |
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 217-239, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey R. Lewis, John Launchbury, Erik Meijer 0001, Mark Shields |
Implicit Parameters: Dynamic Scoping with Static Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 108-118, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Fähndrich, Jakob Rehof, Manuvir Das |
Scalable context-sensitive flow analysis using instantiation constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 253-263, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alan Mycroft |
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 208-223, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 1-10, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Shaumyan, Paul Hudak |
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers, pp. 70-91, 1997, Springer, 3-540-65751-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Zhenyu Qian, Bernd Krieg-Brückner |
Typed Object-Oriented Functional Programming with Late Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings, pp. 48-72, 1996, Springer, 3-540-61439-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|