Ghilezan, Silvia

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Refined By:
Subject:  Classical logic | Continuations | Functional programming | Intersection type

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Dougherty, Dan; Ghilezan, Silvia ; Lescanne, PierreCharacterizing strong normalization in a language with control operators1-Jan-2004Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; Verona; Italy; 24 August 2004 through 26 August 2004; 155-166

Projects


Results 1-2 of 2 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia