Source: http://cdc.ioc.ee/mfplt.html
Timestamp: 2019-04-19 18:40:11+00:00

Document:
Peeter Laud, TÜ arvutitead. inst. van.-tead./ CybAS van.-tead.
Varmo Vene, TÜ arvutitead. inst. dots. (kuni okt. 2007; peat. sept. 2003-aug. 2005), erak. van.-tead. (sept. 2003-aug. 2005), professor (al. nov. 2007) / KübI van.-tead.
N. Ghani, T. Uustalu. Coproducts of ideal monads (extended abstract). In Z. Ésik, I. Walukiewicz, eds., Proc. of 5th Int. Wksh. on Fixed Points in Computer Science, FICS'03 (Warsaw, Apr. 2003), pp. 32-36. Warsaw Univ., 2003.
P. Laud, R. Corin. Sound computational interpretation of formal encryption with composed keys. In Pre-Proc. of 6th Int. Conf. on Information Security and Cryptology, ICISC 2003 (Seoul, Nov. 2003). 2003.
J. Pöial. Program analysis for stack based languages. In Proc. of 19th EuroForth Conference (Ross-on-Wye, Oct. 2003), pp. 9-13. 2003.
H. Seidl, V. Vene, M. Müller-Olm. Global invariants for analysing multi-threaded applications. Proc. of Estonian Acad. of Sci., Phys., Math., v. 52, n. 4, pp. 413-436, 2003.
M. Tombak. Logical method in combinatorial counting. In Proc. of Int. Conf. on Advances on Internet, Processing, Systems and Interdisciplinary Research, IPSI 2003 (Sveti Stefan, Oct. 2003), 4 pp. 2003.
S. Tupailo. On non-wellfounded constructive set theory: construction of non-wellfounded sets in explicit mathematics. In G. Mints, R. Muskens, eds., Games, Logic, and Constructive Sets, v. 161 of CSLI Lect. Notes, pp. 109-125. CSLI Publications, 2003.
T. Uustalu, V. Vene. An alternative characterization of complete iterativeness (extended abstract). In Z. Ésik, I. Walukiewicz, eds., Proc. of 5th Int. Wksh. on Fixed Points in Computer Science, FICS'03 (Warsaw, Apr. 2003), pp. 81-83. Warsaw Univ., 2003.
N. Ghani, T. Uustalu, V. Vene. Generalizing the augment combinator. In H.-W. Loidl, ed., Proc. of 5th Symp. on Trends in Functional Programming, TFP '04 (München, Nov. 2004), pp. 65-76. Ludwig-Maximilians-Univ. München, 2004.
S. Tupailo. On the intuitionistic strength of monotone inductive definitions. J. of Symb. Logic, v. 69, n. 3, pp. 790-798, 2004.
G. Barthe, T. Rezk, A. Saabas. Proof obligations preserving compilation. In T. Dimitrakos, F. Martinelli, P. Ryan, S. Schneider, eds., Proc. of 3rd Int. Wksh. on Formal Aspects in Security and Trust, FAST '05 (Newcastle upon Tyne, July 2005), Techn. report IIT TR-13/2005, pp. 109-124. Ist. di Informatica e Telematica, Consiglio Nazionale delle Ricerche, 2005.
A. Kelarev, M. Miller, O. Sokratova. Languages recognized by two-sided automata of graphs. Proc. of Estonian Acad. of Sci.: Phys., Math., v. 54, n. 1, pp. 46-54, 2005.
P. Laud, T. Uustalu, V. Vene. Type systems equivalent to dataflow analyses for imperative languages. In M. Hofmann, H.-W. Loidl, eds., Proc. of 3rd APPSEM II Wksh., APPSEM '05 (Frauenchiemsee, Sept. 2005), 12 pp. Ludwig-Maximilians-Univ. München, 2005.
H. Nestra. Transfinite corecursion. Nordic J. of Computing, v. 12, n. 2, pp. 133-156, 2005.
H. Nestra. Transfinite semantics in program slicing. In V. Vene, M. Meriste, eds., Proc. of 9th Symp. on Programming Languages and Software Tools, SPLST 2005 (Tartu, Aug. 2005), pp. 126-140. Univ. of Tartu, 2005.
H. Nestra. Transfinite semantics in program slicing. Proc. of Estonian Acad. of Sci., Engineering, v. 11, n. 4, pp. 313-328, 2005.
O. Shkaravska. Amortized heap-space analysis for first-order functional programs. In M. van Eekelen, ed., Proc. of 6th Symp. on Trends in Functional Programming, TFP '05 (Tallinn, Sept. 2005), pp. 281-296. Inst. of Cybern., 2005.
T. Uustalu, V. Vene. Comonadic functional attribute evaluation. In M. van Eekelen, ed., Proc. of 6th Symp. on Trends in Functional Programming, TFP '05 (Tallinn, Sept. 2005), pp. 33-43. Inst. of Cybern., 2005.
T. Uustalu, V. Vene. Signals and comonads. In M. A. Musicante, R. M. F. Lima, eds., Proc. of 9th Brazilian Symp. on Programming Languages, SBLP'05 (Recife, PE, May 2005), pp. 215-228. Univ. de Pernambuco, Recife, 2005.
M. Backes, P. Laud. A mechanized, cryptographically sound type inference checker. In V. Cortier, S. Kremer, eds., Abstracts of 2nd Wksh. on Formal and Computational Cryptography, FCC 2006 (Venice, July 2006), 6 pp. INRIA, 2006.
N. Ghani, M. Hamana, T. Uustalu, V. Vene. Representing cyclic structures as nested datatypes. In H. Nilsson, ed., Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (Nottingham, Apr. 2006), pp. 173-188. Univ. of Nottingham, 2006.
N. Ghani, T. Uustalu, V. Vene. Generalizing the augment combinator. In H.-W. Loidl, ed., Trends in Functional Programming 5, pp. 65-78. Intellect, 2006.
M. Hamana, N. Ghani, T. Uustalu, V. Vene. Representing cyclic structures as nested datatypes. In A. Takana, ed., Proc. of 23th Conf. of Japan Society for Software Science and Technology, JSSST 06 (Tokyo, Sept. 2006), 8 pp. Univ. of Tokyo, 2006.
J. Pöial. Typing tools for typeless stack languages. In Proc. of 22nd EuroForth Conf. (Cambridge, Sept. 2006), pp. 40-46. 2006.
B. Jacobs, T. Uustalu. Semantics of grammars and attributes via initiality. In E. Barendsen, V. Capretta, H. Geuvers, M. Niqui, eds., Reflections on Type Theory, Lambda-Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of His 60th Birthday, pp. 181-196. Radboud Univ. Nijmegen, 2007.
C. McBride, T. Uustalu, guest eds. J. of Funct. Program. (Selected Papers from Wksh. on Mathematically Structured Functional Programming, MSFP 2006, Kuressaare, July 2006), to appear.
A. Saabas, T. Uustalu. Program and proof optimizations with type systems. J. of Logic and Algebraic Program., to appear.
H. Tamm. On transition minimality of bideterministic automata. Int. J. of Found. of Comput. Sci., to appear.
M. Tombak. Keerukusteooria. 114 lk. TÜ, 2007.
A. Toom, T. Näks, M. Pantel, M. Gandriau, I. Wati. GeneAuto: an automatic code generator for a safe subset of SimuLink/StateFlow and Scicos. In Proc. of 4th Europ. Conf. on Embedded Real-Time Software, ERTS 2008 (Toulouse, Jan./Feb 2008), to appear.
S. Tupailo. Monotone inductive definitions and consistency of New Foundations. In C. Dimitracopoulos, L. Newelski, D. Normann, eds., Proc. of Logic Coll. 2005 (Athens, July/Aug. 2005), v. 28 of Lect. Notes in Logic, pp. ?-?. Cambridge Univ. Press, 2007.
S. Tupailo. Fixpoints of models construction. Logique et Analyse (Nouvelle Série), v. 50, n. 197, pp. 63-78, 2007.
T. Uustalu, guest ed. Sci. of Comput. Program. (Selected Papers from 8th Int. Conf. on Mathematics of Program Construction, MPC 2006, Kuressaare, July 2006), to appear.
T. Uustalu, V. Vene. Comonadic functional attribute evaluation. In M. van Eekelen, ed., Trends in Functional Programming 6, pp. 145-162. Intellect, 2007.
V. Vojdani, V. Vene. Goblint: path-sensitive data race analysis. In Z. Horváth, L. Kozma, V. Zsók, eds., Proc. of 10th Symp. on Programming Languages and Software Tools, SPLST 2007 (Dobogókö, June 2007), pp. 130-141. Eötvös Loránd Univ., 2007.

References: V. 
 v. 
 v. 
 V. 
 V. 
 v. 
 v. 
 V. 
 v. 
 V. 
 v. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 v. 
 v. 
 V. 

V. 
 V. 
 V.