( 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

Robert J B Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Toward an Object-Oriented Structure for Mathematical Text., , und . MKM, Volume 3863 von Lecture Notes in Computer Science, Seite 217-233. Springer, (2005)A calculus with polymorphic and polyvariant flow types., , , und . J. Funct. Program., 12 (3): 183-227 (2002)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)Equational Reasoning for Linking with First-Class Primitive Modules., und . ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2000)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.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)Computerizing Mathematical Text with MathLang., und . LSFA, Volume 205 von Electronic Notes in Theoretical Computer Science, Seite 5-30. Elsevier, (2007)Introduction: Workshop on Intersection Types and Related Systems (ITRS'00).. ICALP Satellite Workshops, Seite 263-266. Carleton Scientific, Waterloo, Ontario, Canada, (2000)