Recover lost files

[mietek]

Implementations

• M. Łach (1998)

Literature

• Z. Spławski (1988) “Teoriodowodowe podejście do programów funkcyjnych i typów danych”, report, Raporty Centr. Oblicz. PWr. 1988, Ser. SPR, nr 16, C01/1988/S-016, 000073253
• Z. Spławski (1991) “Proof-theoretic approach to automatic synthesis of polymorphic lambda programs” (“Teoriodowodowe podejście do automatycznej syntezy polimorficznych lambda programów”), report, Raporty Centr. Oblicz. PWr. 1991, Ser. SPR, nr 2, C01/1991/S-002, 000086078
• Z. Spławski (1993) “Proof-theoretic approach to inductive definitions in ML-like programming language vs. second-order lambda calculus” (“Teoriodowodowe podejście do definicji indukcyjnych w języku programowania typu ML a rachunek lambda drugiego rzędu”), PhD dissertation, Raporty Centr. Inform. PWroc. 1993, Ser. PRE, nr 2, C01/1993/P-002, 000092609
• Z. Spławski (1995) “Proving equalities in λ→ with positive (co-)inductive data types” (“Dowodzenie równości w λ→ z pozytywnymi (ko-)indukcyjnymi typami danych”), report, Raporty Centr. Inform. PWroc. 1995, Ser. SPR, nr 3, C01/1995/S-003, 000097895
• Z. Spławski (1996) “Subtyping λ→ with positive (co-)inductive data types” (“Podtypy w λ→ z pozytywnymi (ko-)indukcyjnymi typami danych”), report, Raporty Wydz. Zakł. Inform. PWroc. 1996, Ser. SPR, nr 12, Z09/1996/S-012, 000103100
• Z. Spławski (1997) “Proving eqalities in second-order lambda calculus with inductive and recursive types” (“Dowodzenie równości w rachunku lambda drugiego rzędu z typami indukcyjnymi i rekursywnymi”), report, Raporty Wydz. Zakł. Inform. PWroc. 1997, Ser. SPR, nr 13, Z09/1997/S-015, 000107284
• M. Łach (1998) “Teoria typów z definicjami indukcyjnymi jako język programowania”, MSc dissertation (Reference)
• Z. Spławski (1998) “Continuations in λ→ with positive (co-)inductive data types” (“Kontynuacje w λ→ z pozytywnymi (ko)indukcyjnymi typami danych”), report, Raporty Wydz. Zakł. Inform. PWroc. 1998, Ser. SPR, nr 16, Z09/1998/S-016, 000112767
• Z. Spławski (1999) “Interdefinability of positive coinductive types with corecursors” (“Wzajemna definiowalność pozytywnych (ko)indukcyjnych typów z (ko)rekursorami”), report, Raporty Wydz. Zakł. Inform. PWroc. 1999, Ser. SPR, nr 13, Z09/1999/S-013, 000117346