Skip to contents

Chitil, Olaf [Author]

The s-semantics: a comprehensive semantics for functional programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1996

Published in: Aachener Informatik-Berichte ; 96,7
Scholz, Sven-Bodo [Editor]; Chitil, Olaf [Other] ; IFL 20 2008 Hatfield

Implementation and application of functional languages : 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 5836
Chitil, Olaf [Editor]; Horváth, Zoltán [Other]; Zsók, Viktória [Other] ; IFL 19 2007 Freiburg im Breisgau

Implementation and application of functional languages : 19th International Symposium, IFL 2007, Freiburg, Germany, September 27-29, 2007 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5083
Scholz, Sven-Bodo [Author] ; Chitil, Olaf [Other]

Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 5836
Chitil, Olaf [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=2643135

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2014

Published in: ACM Conferences- ACM Digital Library
Hutchison, David [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Zsók, Viktória [Other]; Chitil, Olaf [Other]; Horváth, Zoltán [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]

Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5083
Chitil, Olaf

Practical typed lazy contracts

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices
CHITIL, OLAF

Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2009

Published in: Journal of Functional Programming
Chitil, Olaf

Implementation and Application of Functional Languages: Source-Based Trace Exploration

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Implementation and Application of Functional Languages
Chitil, Olaf

Pretty printing with lazy dequeues

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2005

Published in: ACM Transactions on Programming Languages and Systems
Chitil, Olaf

Compositional explanation of types and algorithmic debugging of type errors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2001

Published in: ACM SIGPLAN Notices
Chitil, Olaf

Implementation of Functional Languages: Common subexpressions are uncommon in lazy functional languages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Implementation of Functional Languages
Chitil, Olaf

Implementation of Functional Languages: Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Implementation of Functional Languages
Chitil, Olaf

Typer inference builds a short cut to deforestation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1999

Published in: ACM SIGPLAN Notices
Chitil, Olaf

The ζ-Semantics: A Comprehensive Semantics for Functional Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 1997

Published in: Fundamenta Informaticae
Sharrad, Joanna; Chitil, Olaf

Lecture Notes in Computer Science: Scaling Up Delta Debugging of Type Errors : Category: Research : Category: Research

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2020

Published in: Lecture Notes in Computer Science
Tsushima, Kanae; Chitil, Olaf

Functional and Logic Programming: A Common Framework Using Expected Types for Several Type Debugging Approaches

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Functional and Logic Programming
Faddegon, Maarten; Chitil, Olaf

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2015

Published in: ACM SIGPLAN Notices
Faddegon, Maarten; Chitil, Olaf

Lecture Notes in Computer Science: Type Generic Observing

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Lecture Notes in Computer Science
Faddegon, Maarten; Chitil, Olaf

Lightweight computation tree tracing for lazy functional languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2016

Published in: ACM SIGPLAN Notices

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication