skip to content
 Functional programming with logical frameworks. Preview this item
ClosePreview this item
Checking...

Functional programming with logical frameworks.

Author: Poswolsky, Adam Brett
Publisher: YALE University 2009-07-01 00:00:00.0.
Dissertation: Thesis / Dissertation ETD.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : eBook : English
Summary:
Functional programming with logical frameworks.
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation, Internet resource
Document Type: Internet Resource
All Authors / Contributors: Poswolsky, Adam Brett
OCLC Number: 612067315
Language Note: EN.

Abstract:

Functional programming with logical frameworks.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/612067315> # Functional programming with logical frameworks.
    a bgn:Thesis, schema:CreativeWork, pto:Web_document, schema:Book ;
   bgn:inSupportOf "Thesis / Dissertation ETD." ;
   library:oclcnum "612067315" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/479530768#Agent/poswolsky_adam_brett> ; # Poswolsky, Adam Brett
   schema:datePublished "2009/07/01 00:00:00.0" ;
   schema:datePublished "2009" ;
   schema:description "Functional programming with logical frameworks."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/479530768> ;
   schema:inLanguage "en" ;
   schema:name "Functional programming with logical frameworks."@en ;
   schema:productID "612067315" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/612067315#PublicationEvent/yale_university2009_07_01_00_00_00_0> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/479530768#Agent/yale_university> ; # YALE University
   schema:url <http://pqdtopen.proquest.com/#viewpdf?dispub=3342732> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/612067315> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/479530768#Agent/poswolsky_adam_brett> # Poswolsky, Adam Brett
    a bgn:Agent ;
   schema:name "Poswolsky, Adam Brett" ;
    .

<http://experiment.worldcat.org/entity/work/data/479530768#Agent/yale_university> # YALE University
    a bgn:Agent ;
   schema:name "YALE University" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.