Search Sciweavers | Sciweavers

10622 search results - page 323 / 2125

» Python Programming Language

225

click to vote

POPL
2006
ACM

106views Programming Languages» more POPL 2006»

A polymorphic modal type system for lisp-like multi-staged languages

16 years 4 months ago

Download www.doc.ic.ac.uk

This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno

claim paper

Read More »

click to vote

ICMT
2009
Springer

99views Theoretical Computer Science» more ICMT 2009»

Foundations for Bidirectional Programming

15 years 10 months ago

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

128

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

15 years 10 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

15 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

117

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers