Skip to contents

Friedman, Daniel P. [Author]; Byrd, William E. [Author]; Kiselyov, Oleg [Author]

The reasoned schemer

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2005
Kiselyov, Oleg [Author] ; Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

View online
Schließen

Access

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

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, 2012

Published in: ACM Digital Library- ACM Conferences
Kiselyov, Oleg [Editor]; King, Andy [Editor]

Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings - [1st ed. 2016]

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.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9613
Friedman, Daniel P. [Author] ; Byrd, William E. [Contributor]; Kiselyov, Oleg [Contributor]

The reasoned schemer

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.

Cambridge, Mass.: MIT Press, 2005
Kiselyov, Oleg

Functional and Logic Programming: Generating C : System Description : System Description

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, 2022

Published in: Functional and Logic Programming
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Polynomial Event Semantics: Negation : Negation

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, 2021

Published in: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

Effects Without Monads: Non-determinism – Back to the Meta Language

View online
Schließen

Access

Close

Bookmarks

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

Open Publishing Association, 2019

Published in: Electronic Proceedings in Theoretical Computer Science
KISELYOV, OLEG

Many more predecessors: A representation workout

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), 2020

Published in: Journal of Functional Programming
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Polynomial Event Semantics : Non-Montagovian Proper Treatment of Quantifiers : Non-Montagovian Proper Treatment of Quantifiers

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, 2019

Published in: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

Functional and Logic Programming: $$\lambda $$ λ to SKI, Semantically : Declarative Pearl : Declarative Pearl

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
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Transformational Semantics on a Tree Bank

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: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing

View online
Schließen

Access

Close

Bookmarks

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

Open Publishing Association, 2017

Published in: Electronic Proceedings in Theoretical Computer Science
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Applicative Abstract Categorial Grammars in Full Swing

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, 2017

Published in: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Non-canonical Coordination in the Transformational Approach

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, 2017

Published in: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

New Frontiers in Artificial Intelligence: Canonical Constituents and Non-canonical Coordination : Simple Categorial Grammar Account : Simple Categorial Grammar Account

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, 2015

Published in: New Frontiers in Artificial Intelligence
Kiselyov, Oleg

Programming Languages and Systems: Probabilistic Programming Language and its Incremental Evaluation

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, 2016

Published in: Programming Languages and Systems
Kiselyov, Oleg

Functional and Logic Programming: The Design and Implementation of BER MetaOCaml : System Description : System Description

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, 2014

Published in: Functional and Logic Programming
Kiselyov, Oleg

Delimited control in OCaml, abstractly and concretely

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2012

Published in: Theoretical Computer Science
Kiselyov, Oleg

Functional and Logic Programming: Iteratees

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, 2012

Published in: Functional and Logic Programming
Kiselyov, Oleg

Lecture Notes in Computer Science: Typed Tagless Final Interpreters

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, 2012

Published in: Lecture Notes in Computer Science

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