Michael Tautschnig - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type inference

Compatibility and reuse in component-based systems via type and unit inferenceChristian Kühnel, Andreas Bauer 0002, Michael Tautschnig. euromicro 2007: 101-108 [doi]

Type inference against racesCormac Flanagan, Stephen N. Freund. SCP, 64(1):140-165, 2007. [doi]

Efficient type inference using ranked type variablesGeorge Kuan, David MacQueen. ml 2007: 3-14 [doi]

Type inference for unboxed types and first class mutabilitySwaroop Sridhar, Jonathan S. Shapiro. asplos 2006: 7 [doi]

Type inference for atomicityCormac Flanagan, Stephen N. Freund, Marina Lifshin. tldi 2005: 47-58 [doi]

Type inference, principal typings, and let-polymorphism for first-class mixin modulesHenning Makholm, J. B. Wells. ICFP 2005: 156-167 [doi]

Type Inference Against RacesCormac Flanagan, Stephen N. Freund. SAS 2004: 116-132 [doi]

Principality and type inference for intersection types using expansion variablesA. J. Kfoury, J. B. Wells. TCS, 311(1-3):1-70, 2004. [doi]

The MAGICA Type Inference Engine for MATLABPramod G. Joisha, Prithviraj Banerjee. cc 2003: 121-125 [doi]

Changing the Inference Type - Keeping the Hypothesis SpaceFrank J. Balbach. alt 2003: 84-98 [doi]

Type Inference for Nested Self TypesViviana Bono, Jerzy Tiuryn, Pawel Urzyczyn. TYPES 2004: 99-114 [doi]

From Type Inference to ConfigurationMorten Heine Sørensen, Jens P. Secher. BIRTHDAY 2002: 436-472 [doi]

Polar Type Inference with Intersection Types and omegaSébastien Carlier. ENTCS, 70(1):37-52, 2002. [doi]

An Experiment in Type Inference and Verification by Abstract InterpretationRoberta Gori, Giorgio Levi. vmcai 2002: 225-239 [doi]

Type Inference with Recursive Type EquationsMario Coppo. fossacs 2001: 184-198 [doi]

Type Inference Builds a Short Cut to DeforestationOlaf Chitil. ICFP 1999: 249-260 [doi]

Type Inference for Recursive DefinitionsA. J. Kfoury, Santiago M. Pericás-Geertsen. lics 1999: 119-129 [doi]

Principality and Decidable Type Inference for Finite-Rank Intersection TypesA. J. Kfoury, J. B. Wells. POPL 1999: 161-174 [doi]

Second-Order Unification and Type Inference for Church-Style PolymorphismAleksy Schubert. POPL 1998: 279-288 [doi]

Dynamic Typing as Staged Type InferenceMark Shields, Tim Sheard, Simon L. Peyton Jones. POPL 1998: 289-302 [doi]

Garbage Collection via Dynamic Type Inference - A Fomal TreatmentHaruo Hosoya, Akinori Yonezawa. tic 1998: 215-239 [doi]

First-class Polymorphism with Type InferenceMark P. Jones. POPL 1997: 483-496 [doi]

Type Inference for CLP(FD)Pawel Pietrzak. SLP 1997: 407

Explaining Type InferenceDominic Duggan, Frederick Bent. SCP, 27(1):37-83, 1996.

Kinded Type Inference for Parametric OverloadingDominic Duggan, Gordon V. Cormack, John Ophel. ACTA, 33(1):21-68, 1996.

Benefits of type inference for an object-oriented real-time languageJan Gustafsson, Kjell Post, Jukka Mäki-Turja, Ellus Brorsson. oopsm, 7(1):28-35, 1996. [doi]

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric PolymorphismOle Agesen. ECOOP 1995: 2-26 [doi]

Type inference for recursively constrained types and its application to OOPJonathan Eifrig, Scott F. Smith, Valery Trifonov. ENTCS, 1:132-153, 1995. [doi]

Type Inference with Partial TypesSatish R. Thatte. TCS, 124(1):127-148, 1994.

Using Hindley-Milner Type Inference to Optimise List RepresentationCordelia V. Hall. lfp 1994: 162-172 [doi]

Type Inference and ExtensionalityAdolfo Piperno, Simona Ronchi Della Rocca. lics 1994: 196-205

Analysing Resource Use in the Lambda Calculus by Type InferenceSimon Courtenage, Chris D. Clack. PEPM 1994: 33-41

A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-CalculusA. J. Kfoury, J. B. Wells. lfp 1994: 196-207 [doi]

Type Inference for Partial Types is DecidablePatrick O Keefe, Mitchell Wand. ESOP 1992: 408-417

Typing References by Effect InferenceAndrew K. Wright. ESOP 1992: 473-491

Type Inference with InequalitiesMichael I. Schwartzbach. tapsoft 1991: 441-455

Type Inference for Record Concatenation and Multiple InheritanceMitchell Wand. iandc, 93(1):1-15, July 1991.

Dual Types of Hypotheses in Inductive InferenceRusins Freivalds, Efim B. Kinber, Rolf Wiehagen. nil 1993: 209-240

Polymorphic Type Inference and AssignmentXavier Leroy, Pierre Weis. POPL 1991: 291-302

Static Type Inference in a Dynamically Typed LanguageAlexander Aiken, Brian R. Murphy. POPL 1991: 279-290

Type Inference for Polymorphic ReferencesMads Tofte. iandc, 89(1):1-34, November 1990.

Type Inference in ZJ. Michael Spivey, Bernard Sufrin. FM 1990: 426-451

Type-Dependent Parameter InferenceGordon V. Cormack, Andrew K. Wright. PLDI 1990: 127-136

Type Inference for Record Concatenation and Multiple InheritanceMitchell Wand. lics 1989: 92-97

On the Complexity of Type Inference with CoercionMitchell Wand, Patrick O Keefe. fpca 1989: 293-298 [doi]

Type Inference and Type ClassesStephen Blott. fp 1990: 254-265

Type inference and logical relationsMario Coppo, Maddalena Zacchi. lics 1986: 218-226

Partial Polymorphic Type Inference Is UndecidableHans-Juergen Boehm. focs 1985: 339-345

Type Inference in the Presence of Overloading, Polymorphism and CoercionsThomas Letschert. programmier 1984: 58-70

On the Error Correcting Power of Pluralism in BC-Type Inductive InferenceRobert P. Daley. TCS, 24:95-104, 1983.

runs on WebDSL