BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Poland
1 × The Netherlands
1 × United Kingdom
8 × USA
Collaborated with:
P.Urzyczyn A.J.Kfoury D.Kozen A.Jung M.Wand M.Dezani-Ciancaglini P.Berman J.Y.Halpern
Talks about:
type (6) problem (3) subtyp (3) reconstruct (2) polymorph (2) undecid (2) partial (2) recurs (2) comput (2) power (2)

Person: Jerzy Tiuryn

DBLP DBLP: Tiuryn:Jerzy

Facilitated 1 volumes:

FoSSaCS 2000Ed

Contributed to:

LICS 20012001
LICS 19971997
LICS 19961996
TLCA 19931993
LICS 19921992
LICS 19901990
STOC 19901990
LICS 19891989
LICS 19881988
POPL 19881988
LICS 19871987
ICALP 19821982
ICALP 19791979

Wrote 14 papers:

LICS-2001-KozenT #correctness #linear #logic
Intuitionistic Linear Logic and Partial Correctness (DK, JT), pp. 259–268.
LICS-1997-Dezani-CiancagliniTU #parallel
Discrimination by Parallel Observers (MDC, JT, PU), pp. 396–407.
LICS-1996-TiurynU #decidability #higher-order #problem #type system
The Subtyping Problem for Second-Order Types is Undecidable (JT, PU), pp. 74–85.
A New Characterization of λ Definability (AJ, JT), pp. 245–257.
LICS-1992-Tiuryn #type system
Subtype Inequalities (JT), pp. 308–315.
LICS-1990-KfouryT #polymorphism #re-engineering #λ-calculus
Type Reconstruction in Finite-Rank Fragments of the Polymorphic λ-Calculus (AJK, JT), pp. 2–11.
STOC-1990-KfouryTU #problem
The Undecidability of the Semi-Unification Problem (AJK, JT, PU), pp. 468–476.
LICS-1989-KfouryTU #problem #unification
Computational Consequences and Partial Solutions of a Generalized Unification Problem (AJK, JT, PU), pp. 98–105.
LICS-1988-KfouryTU #on the #polymorphism #power of #recursion
On the Computational Power of Universally Polymorphic Recursion (AJK, JT, PU), pp. 72–81.
POPL-1988-KfouryTU #effectiveness #ml
A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.
LICS-1987-KfouryTU #functional #source code
The Hierarchy of Finitely Typed Functional Programs (AJK, JT, PU), pp. 225–235.
ICALP-1982-BermanHT #logic #nondeterminism #on the #power of
On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
ICALP-1979-Tiuryn #fixpoint
Unique Fixed Points vs. Least Fixed Points (JT), pp. 633–645.
TAPSOFT-1993-TiurynW #re-engineering #recursion #type system
Type Reconstruction with Recursive Types and Atomic Subtyping (JT, MW), pp. 686–701.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.