Sciweavers

11909 search results - page 350 / 2382
» The Scheme Programming Language
Sort
View
82
Voted
JERIC
2010
37views more  JERIC 2010»
15 years 1 months ago
The Scratch Programming Language and Environment
John Maloney, Mitchel Resnick, Natalie Rusk, Brian...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Permission-based programming languages: NIER track
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, ...
VLDB
1991
ACM
179views Database» more  VLDB 1991»
15 years 10 months ago
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
Antonio Albano, Giorgio Ghelli, Renzo Orsini
ICFP
2008
ACM
16 years 6 months ago
A type-preserving compiler in Haskell
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
Louis-Julien Guillemette, Stefan Monnier