An Extension of Baaz's Algorithm to E-semi-unification with One Inequality


Download Links

by Alberto Oliart , Laboratorio Nacional , Informatica Avanzada A. C

Active Bibliography

34 Programming Languages and Dimensions – Andrew John Kennedy, Francis Davey, Jean Goubault, Barney Hilken, Jean-pierre Jouannaud, Mikael Rittri, Claudio Rosso, Ian Stark, Mads Tofte In Particular - 1996
2 Principal Typing and Mutual Recursion – Lucilia Figueiredo, Carlos Camarao, Carlos Camar~ao, Ouro Preto, Ouro Preto, Belo Horizonte - 2001
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification – unknown authors - 2008
9 Dimension Inference under Polymorphic Recursion – Mikael Rittri - 1995
5 Certification Support for Automatically Generated Programs – Johann Schumann, Bernd Fischer, Mike Whalen, Jon Whittle - 2003
2 Typing Constraint Logic Programs – Francois Fages, Emmanuel Coquery
29 Synthesizing certified code – Michael Whalen, Johann Schumann, Bernd Fischer - 2002
8 Rule-based analysis of dimensional safety – Feng Chen, Ram Prasad Venkatesan - 2003
32 Correctness of Source-Level Safety Policies – Ewen Denney, Bernd Fischer - 2003
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
Multi-polymorphic programming in bondi (extended version) – Thomas Given-wilson, Freeman Huang, Barry Jay
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
A General Theory of Semi-Unification – Said Jahama, A.J. Kfoury - 1993
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
Syntactic Type Polymorphism for Recursive Function Definitions – Jean-Pierre Talpin And, Jean-pierre Talpin, Yan-mei Tang - 1994
Programming in Standard ML '97: – Tuto Ri Al, Stephen Gilmore - 1997
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs – Torben Amtoft Flemming, Flemming Nielson, Hanne Riis Nielson - 1995