Search Sciweavers | Sciweavers

11066 search results - page 29 / 2214

» Linearity in Process Languages

click to vote

EACL
1989
ACL Anthology

94views Natural Language Processing» more EACL 1989»

Efficient Processing Of Flexible Categorial Grammar

14 years 10 months ago

Download acl.ldc.upenn.edu

Gosse Bouma

claim paper

Read More »

Voted

EMNLP
2011

156views Natural Language Processing» more EMNLP 2011»

Discovering Morphological Paradigms from Plain Text Using a Dirichlet Process Mixture Model

13 years 9 months ago

Download www.cs.jhu.edu

Markus Dreyer, Jason Eisner

claim paper

Read More »

click to vote

NJC
2000

169views more NJC 2000»

A Type System for Bounded Space and Functional In-Place Update

14 years 9 months ago

Download www.cs.ucla.edu

We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...

Martin Hofmann

claim paper

Read More »

147

Voted

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

The m-calculus: a higher-order distributed process calculus

15 years 10 months ago

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers