Andrzej Olaf Filinski
Affiliations: | Carnegie Mellon University, Pittsburgh, PA |
Google:
"Andrzej Filinski"Mean distance: (not calculated yet)
Parents
Sign in to add mentor| Robert William Harper | grad student | Cornell | |
| John C. Reynolds | grad student | Carnegie Mellon |
Children
Sign in to add trainee| Anders Starcke Henriksen | grad student | Copenhagen University | |
| Henning Korsholm Rohde | grad student | Aarhus University | |
| Kristian Støvring | grad student | Aarhus University |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Filinski A. (2007) On the relations between monadic semantics Theoretical Computer Science. 375: 41-75 |
| Filinski A, Rohde HK. (2005) Denotational Aspects of Untyped Normalization by Evaluation Brics Report Series. 12 |
| Filinski A, Rohde HK. (2005) Denotational aspects of untyped normalization by evaluation Rairo - Theoretical Informatics and Applications. 39: 423-453 |
| Dybjer P, Filinski A. (2000) Normalization and Partial Evaluation Lecture Notes in Computer Science. 2395: 137-192 |
| Filinski A. (1999) A Semantic Account of Type-Directed Partial Evaluation Brics Report Series. 6 |
| Danvy O, Filinski A. (1992) Representing control: A study of the cps transformation Mathematical Structures in Computer Science. 2: 361-391 |