Search Sciweavers | Sciweavers

11066 search results - page 29 / 2214

» Linearity in Process Languages

Voted

EACL
1989
ACL Anthology

94views Natural Language Processing» more EACL 1989»

Efficient Processing Of Flexible Categorial Grammar

15 years 4 months ago

Download acl.ldc.upenn.edu

Gosse Bouma

claim paper

Read More »

122

click to vote

EMNLP
2011

156views Natural Language Processing» more EMNLP 2011»

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

14 years 3 months ago

Download www.cs.jhu.edu

Markus Dreyer, Jason Eisner

claim paper

Read More »

144

Voted

NJC
2000

169views more NJC 2000»

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

15 years 3 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 »

200

click to vote

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

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

16 years 3 months ago

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

Voted

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers