Back to Results
First PageMeta Content
Logic in computer science / Models of computation / Model theory / Formal methods / Denotational semantics / Combinatory logic / First-order logic / Interpretation / Lambda calculus / Mathematical logic / Logic / Mathematics


HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones
Add to Reading List

Document Date: 2012-07-11 09:13:42

Open Document

File Size: 414,77 KB

Share Result on Facebook

Company

Microsoft / Ki work / /

Facility

library Foreign.Util.Marshal / /

IndustryTerm

refinement type systems / namely un-saturated applications / saturated function applications / dependent type systems / n-ary product / few practical tools / few tools / n-ary products / enough app applications / recursive / partial applications / /

Organization

eta / /

Person

Dan Ros´en Koen / Simon Peyton Jones Dan Ros / /

Position

c_head / Statement c_head / library Foreign.Util.Marshal / following chain c_head / denotational model / using fixpoint induction / programmer / /

Product

withMany / /

ProgrammingLanguage

Haskell / E / V / C / K / D / /

RadioStation

Core / /

Technology

functional programming / /

SocialTag