Tom Primožič | Lambda the Ultimate

Tom Primožič

view
track

type	title	author	last post
Forum topic	Symbol visibility (public, private, protected, etc.) Different interfaces for different clients by Tom Primožič	Talin	2014-05-31 05:02
Forum topic	An experiment: Refined types - a better type system for more secure software I've not researched or by Tom Primožič	Tom Primožič	2014-05-29 15:06
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Dude. by Tom Primožič	marco	2014-05-26 17:22
Forum topic	type theory about programming language? Weird scoping rules by Tom Primožič	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Dependent products by Tom Primožič	Jules Jacobs	2014-05-20 20:26
Forum topic	Using real arithmetic to eliminate bounds checking? For bounds checking, not by Tom Primožič That is a great idea! Experiment using Z3: by Tom Primožič	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Examples for benefitfs of dynamic programming languages Thanks, these are really by Tom Primožič Wow. by Tom Primožič	Sebastian Okon	2014-01-30 21:54
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Well, reconsidering it, I by Tom Primožič That's great, the only thing by Tom Primožič This is certainly a step in by Tom Primožič I was thinking the magic was by Tom Primožič this is not the programmer's by Tom Primožič open recursion, develop by Tom Primožič That is an idea that I by Tom Primožič > It's very useful when your by Tom Primožič	Tom Primožič	2011-08-22 19:36
Forum topic	Extension Methods versus Structural Typing of Traits for solving the expression problem I prefer traits... by Tom Primožič	cdiggins	2009-05-20 10:47
Forum topic	Why people don't use functional programming? Manual allocation is faster?!? by Tom Primožič	Gergely Buday	2007-06-09 16:40
Forum topic	function overriding workaround in dynamically typed languages In Ruby, you can modify classes. by Tom Primožič	chinu	2007-05-30 21:39
Story	"The language of the future is javascript" The thing is... by Tom Primožič	Charles Stewart	2007-05-14 21:05
Story	The Expression Problem Revisited However... by Tom Primožič	Ehud Lamm	2007-05-10 13:55
Forum topic	Dao, a new programming language It's implemented in ML by Tom Primožič	Limin Fu	2007-04-10 10:21
Forum topic	Implementation Inheritance What about efficiency? by Tom Primožič	SamK	2007-03-20 20:31
Forum topic	Why do we need finally in try?	Tom Primožič	2007-03-15 16:08
first page previous page next page last page