( en | de | ru )

 

Disambiguierung von "Wells, J. B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.

, und . LISP and Functional Programming, Seite 196-207. ACM, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

B J Biringer

Josef Wells

Bruce Wells

William Wells

Marcus J B Hauser

 

Weitere Publikationen von Autoren mit dem selben Namen

A calculus with polymorphic and polyvariant flow types., , , und . J. Funct. Program., 12 (3): 183-227 (2002)Toward an Object-Oriented Structure for Mathematical Text., , und . MKM, Volume 3863 von Lecture Notes in Computer Science, Seite 217-233. Springer, (2005)Restoring Natural Language as a Computerised Mathematics Input Method., , , und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 280-295. Springer, (2007)Equational Reasoning for Linking with First-Class Primitive Modules., und . ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2000)System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types., , , und . ESOP, Volume 2986 von Lecture Notes in Computer Science, Seite 294-309. Springer, (2004)Principality and type inference for intersection types using expansion variables., und . Theor. Comput. Sci., 311 (1-3): 1-70 (2004)Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)., , , und . ICFP, Seite 90-101. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Computerizing Mathematical Text with MathLang., und . LSFA, Volume 205 von Electronic Notes in Theoretical Computer Science, Seite 5-30. Elsevier, (2007)New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi, und . LICS, Seite 311-321. IEEE Computer Society, (1995)PolyA: True Type Polymorphism for Mobile Ambients., , und . IFIP TCS, Volume 155 von IFIP, Seite 591-604. Kluwer/Springer, (2004)