Haskell overloading is dexptime-complete (1994)

Cached

Download Links

by Helmut Seidl , Fachbereich Informatik
Venue:Information Processing Letters
Citations:43 - 0 self

Documents Related by Co-Citation

95 E.: Logic programs as types for logic programs – T Frühwirth, E Shapiro, M Vardi, Yardeni - 1991
78 Deciding equivalence of finite tree automata – H Seidl - 1990
10 Set-Based Analysis for Logic Programming and Tree Automata – Jm. Talbot, S. Tison, P. Devienne - 1997
94 A Finite Presentation Theorem for Approximating Logic Programs – Nevin Heintze, Joxan Jaffar - 1990
10964 Computers and Intractability: A Guide to the Theory of NP-Completeness – M Garey, D Johnson - 1979
752 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
108 Regular Tree and Regular Hedge Languages over Unranked Alphabets: Version 1 – Anne Brüggemann-Klein, Makoto Murata, Derick Wood - 2001
35 Set Constraints and Set-Based Analysis – Nevin Heintze, Joxan Jaffar - 1994
157 Typechecking for XML Transformers – Tova Milo, Dan Suciu, Victor Vianu - 2000
119 DTD Inference for Views of XML Data – Yannis Papakonstantinou, Victor Vianu - 1999
303 Word problems requiring exponential time – L Stockmeyer, A Meyer - 1973
49 Bussche, DTDs versus XML Schema: a practical study – G J Bex, F Neven, J V
102 One-Unambiguous Regular Languages – Anne Brüggemann-Klein, Derick Wood - 1997
192 Taxonomy of xml schema languages using formal language theory – Makoto Murata, Dongwon Lee, Murali Mani - 2001
85 Lower bounds for natural proof systems – D Kozen - 1977
13 J.L.: Automata for reduction properties solving – M Dauchet, A C Caron, Coquidé - 1995
65 The complexity of set constraints – Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers - 1993
40 Equality and Disequality Constraints on Direct Subterms in Tree Automata – B Bogaert, S Tison - 1992
14 Typing Abstractions and Management in a Component Framework – Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta - 2003